ci: fix github push workflow
There were various problems with it before - it was only reallyhalf-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
a.starrysky.fyi 5 months ago 8e608195 f9261874