now we can make push without having done a commit

This commit is contained in:
speedie 2023-04-01 14:01:04 +02:00
parent 1495140dbd
commit 3332b6178d

View file

@ -117,7 +117,7 @@ install_arch: dist
commit: man
command -v git > /dev/null || exit 1
git add *
git commit -a
git commit -a || :
git remote | xargs -L1 git push --all
.PHONY: all options clean dist install install_arch uninstall pkg_arch help man commit