Closed dmolineus closed 4 years ago
Good idea, I'll have to check how to automate the push then however.
I have appended to your branch, however we can not commit there, as the name and email of the "author" is not given - I wonder what we should put there.
Close in favour of #3
Wer might use GitHub actions for automation. At least a Cron job based update should work, see https://help.github.com/en/actions/reference/events-that-trigger-workflows#scheduled-events-schedule