attempt to push auto-updated SHAs back to Github-hedgeyedev

This isn't the final answer, but I think we should see whether it works.