Peter Huene ce35a2fa8e Migrate from Azure Pipelines to GitHub Actions. ... This commit migrates the CI from Azure Pipelines to GitHub Actions.		2019-11-11 16:49:03 -08:00
..
ISSUE_TEMPLATE	Update issue templates	2018-07-17 11:36:20 -07:00
workflows	Migrate from Azure Pipelines to GitHub Actions.	2019-11-11 16:49:03 -08:00
PULL_REQUEST_TEMPLATE.md	Removed Does this pr change func	2019-04-16 11:32:20 -07:00