diff --git a/.github/ISSUE_TEMPLATE.md b/.github/ISSUE_TEMPLATE.md new file mode 100644 index 0000000000..db0ed3b2c0 --- /dev/null +++ b/.github/ISSUE_TEMPLATE.md @@ -0,0 +1,26 @@ +### Steps to reproduce +1. +2. +3. + +### Expected behaviour +Tell us what should happen + +### Actual behaviour +Tell us what happens instead + +### Server configuration +**Operating system**: + +**Web server:** + +**Database:** + +**PHP version:** + +**phpMyAdmin version:** + +### Client configuration +**Browser:** + +**Operating system:** diff --git a/.github/PULL_REQUEST_TEMPLATE.md b/.github/PULL_REQUEST_TEMPLATE.md new file mode 100644 index 0000000000..94147d21c5 --- /dev/null +++ b/.github/PULL_REQUEST_TEMPLATE.md @@ -0,0 +1,5 @@ +Before submitting pull request, please check that every commit: + +- [ ] Has proper Signed-Off-By +- [ ] Has commit message which describes it +- [ ] Is needed on it's own, if you have just minor fixes to previous commits, you can squash them diff --git a/scripts/create-release.sh b/scripts/create-release.sh index 7c48d1e084..0b53d8a807 100755 --- a/scripts/create-release.sh +++ b/scripts/create-release.sh @@ -148,6 +148,9 @@ echo "* Removing unneeded files" # if someone runs /test/wui.php and there are test failures rm -rf test +# Remove developer information +rm -rf .github + # Remove phpcs coding standard definition rm -rf PMAStandard