tree 3d943730c115cdbdeaa34c191d3c360fcc749330
parent e0e80b48b2202eb711e5b87732239f5e2077897e
author Gary Gregory <garydgregory@gmail.com> 1598923395 -0400
committer Gary Gregory <garydgregory@gmail.com> 1598923395 -0400

Trigger a GitHub build on pull requests.