Commit Graph

103 Commits

Author SHA1 Message Date
Tim Abbott cc8353f8b1 github: Enable new codeql-analysis feature.
This file was generated by GitHub's code analysis tutorial; we were
just approved from their waitlist.

I deleted the part to run compilers as it is not relevant for us.
2020-06-26 16:59:28 -07:00
Greg Price bb5c44aa50 github: Suggest GIFs too in PR template. 2018-02-16 09:59:22 -08:00
Greg Price 6424b3c7b9 github: Add a short template for pull requests.
Hopefully this will help communicate our expectations right up front
for new contributors, with a minimum of boilerplate or busywork.
2018-02-14 13:38:38 -08:00