-
Notifications
You must be signed in to change notification settings - Fork 18
Description
Can we have some sort of cron
job in Github?
Anywho.
Here's the issue at hand: every so often, the FLS changes and we need to update the spec's lock_file. Sometimes, this change affects certain guidelines, and for those cases some amount of non-trivial work is needed to update the project accordingly.
However, most of the time such changes in the FLS are quite trivial and can be resolved with a simple command:
./make.py --update-spec-lock-file
Right now, whenever such changes in the FLS occur, all the active Pull Requests stop being able to build, as seen here. And in order to build once again, an auxiliary PR like #172 needs to be opened and merged.
That's a bit of a waste. It would be great if such changes could be made automatically - ideally, with a cadence of a day or something similar. Plus an event-triggered change whenever a Pull Request is opened.
How does that sound? π