Closed KristinaTaylor closed 6 years ago
Creating a pull request mostly because I'm trying to figure out how to trigger a build.
FYI: You can trigger a build with the following invocation:
git pull git commit --allow-empty git push
There is a version of this in the scripts/force_rebuild script.
scripts/force_rebuild
Creating a pull request mostly because I'm trying to figure out how to trigger a build.