Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Use token in run_autogen.yml to enable CI being run
Setting up tokens is necessary to allow github to run CI on pull requests made automatically - this wasn't the case when the autogen code was added but is probably a good thing for security reasons.
- Loading branch information