Nat Hillard a787bd71ab Merges to main don't get posted to main && it should be clearer how branches are deployed (#415) ... * fixes #319 - merges to main still don't get posted to /main , and #362 It should be clearer how branches are deployed -- move to using 'pull_request' instead of 'push' (we can't push to master directly anyhow), and run on 'closed'; also add comment on PR itself * updating to add subsequent pushes to the same PR		2021-07-27 12:37:17 -04:00
..
ISSUE_TEMPLATE	Update issue templates	2021-07-12 15:28:04 -04:00
workflows	Merges to main don't get posted to main && it should be clearer how branches are deployed (#415)	2021-07-27 12:37:17 -04:00
CODEOWNERS	adding Vim to CODEOWNERS (#396)	2021-07-22 10:53:01 -04:00