commit eaec95e0db94a5b58319864df1d052e6bfacd45b
parent 0b53cb6a8d014ccbab3739c6950133d34a07dbc2
Author: Alex Balgavy <a.balgavy@gmail.com>
Date: Wed, 21 Oct 2020 12:54:31 +0200
newsrefreshd: fetch after pushing, maybe fix crashes?
Former-commit-id: 59e0c19133cf333591e14d1051abb488123fd7fa
Diffstat:
1 file changed, 1 insertion(+), 0 deletions(-)
diff --git a/scripts/newsrefreshd b/scripts/newsrefreshd
@@ -17,6 +17,7 @@ if [ "$previous_commit_msg" = "Newsboat cache" ]; then
&& git reset --soft HEAD~2 \
&& git commit -m "Newsboat cache" \
&& git push --force-with-lease origin master \
+ && git fetch --all \
&& git stash pop; } || notidie "Newsboat error: refreshed but unpushed" "Could not push new cache, check the state of the git repository."
else
git push origin master