ci: remember to git push
after amending
#24
The logs for this run have expired and are no longer available.
Loading
git push
after amending
#24