Nils André-Chang 88830e6c58 Remove the need for the push to be on the master branch ... This is because contributors don't have branches called master it isn't possible to manually trigger workflows as suggested by https://github.community/t5/GitHub-Actions/GitHub-Actions-Manual-Trigger-Approvals/m-p/31517. Also removed the workflow file from the path as it is implicitely set.		2020-02-15 22:12:55 +00:00
..
workflows	Remove the need for the push to be on the master branch	2020-02-15 22:12:55 +00:00
CONTRIBUTING.md	Change contributor guide link	2018-01-01 21:05:50 +00:00
ISSUE_TEMPLATE.md	Update ISSUE_TEMPLATE.md	2020-02-12 17:39:12 -08:00
PULL_REQUEST_TEMPLATE.md	[IMPROVEMENT] Comment out issue (#1178)	2020-02-12 17:36:05 -08:00