From 858def89386335859b6e40b40130323992b47dad Mon Sep 17 00:00:00 2001 From: Alexander Artemenko Date: Sun, 7 Feb 2021 02:12:40 +0300 Subject: [PATCH] Ignore qlot files when pushing changes. --- .github/actions/build-docs/upload.ros | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/actions/build-docs/upload.ros b/.github/actions/build-docs/upload.ros index 20c7822..cb0525d 100755 --- a/.github/actions/build-docs/upload.ros +++ b/.github/actions/build-docs/upload.ros @@ -77,7 +77,7 @@ behaviour could be overriden by keyword argument ``:raise t``." (defun git-repository-was-changed-p () ;; if git status returns something, then repository have uncommitted changes - (> (length (git "status --porcelain")) + (> (length (git "status --porcelain | grep -v qlfile")) 0))