ci: fix github push workflow
There were various problems with it before - it was only really
half-modified from the tangled.yml workflow we had over on GitHub!
It now works and has been tested to put up a branch with a test push
authored by
a.starrysky.fyi
and committed by