tree 9836391744603617efe2e275c0c91997999bdf6c
parent c0a7ec4626cf46c35bb00e0e76f7419a6781044b
author Gary Gregory <garydgregory@gmail.com> 1598879603 -0400
committer Gary Gregory <garydgregory@gmail.com> 1598879603 -0400

Trigger a GitHub build on pull requests.