Description
I've been experimenting with GitHub actions to setup workflows that trigger when you, say, push to the master branch. Specifically, we can setup an action to
- Build the HTML from source every time new material is pushed
- Backup the current HTML as an Artifact (available for download), which would allow us to get rid of
docs_backup
Another potential change an automated action can open us up to is the separation of source and generated code. Since you don't have to manually deploy both rounds of code, storing them on separate branches becomes very feasible. Personally, I think having the HTML available on the default branch clutters the commit history and distracts the developers. Since GitHub's hosting service only allows you to deploy from the master branch, you can deploy your source code to a different branch (say, source
) and make it the repository's default branch, while hosting from the master branch. This is the setup I've been using for my personal website, and it works like a charm. In order to make a change, all I need to do is to push the update of my source code to the source
branch, and the website will update automatically.
Obviously, this would be a significant restructure of the repository, so I'm just pitching the idea here. I think it'd be very worthwhile.