house-keeping: PR template with submission checklist
authorPaul Donald <newtwen@gmail.com>
Mon, 29 Jan 2024 15:00:24 +0000 (16:00 +0100)
committerPaul Donald <newtwen@gmail.com>
Tue, 30 Jan 2024 00:27:30 +0000 (01:27 +0100)
commit048c39abdf7991d865e1e5451abb50483d86ba23
treec36dcadd9d68a096da079ea66cdc7c84551dc631
parent4dc7a4e19e1b812a92d517fd26036ff7d2ef266f
house-keeping: PR template with submission checklist

also check PR source branch (head_ref) is not main/master
.github/pull_request_template.md [new file with mode: 0644]
.github/workflows/check_source_branch_is_not_master.yml [new file with mode: 0644]