mute remote

This commit is contained in:
Robin Kloppe 2023-12-02 17:56:54 +01:00
parent cb0c679cc7
commit 52786a1caa

View file

@ -40,11 +40,11 @@ echo '' > compiled/all-adblock.txt
cd compiled
git add all-adblock.txt
git commit --quiet -m "$date"
git push --quiet
git push --quiet --no-progress 2>&1 | grep -v "references"
lastcommit=$(git log --pretty=format:'%H' -n 3 | tail -n 1)
git checkout --quiet --orphan temp $lastcommit
git commit --quiet -m "Truncated history"
git rebase --quiet --onto temp $lastcommit main
git branch --quiet -D temp
git push --quiet --force
git push --quiet --force --no-progress 2>&1 | grep -v "references"