aboutsummaryrefslogtreecommitdiff
path: root/fixincludes
diff options
context:
space:
mode:
authorEric Gallager <egallager@gcc.gnu.org>2023-10-16 19:22:17 -0400
committerEric Gallager <egallager@gcc.gnu.org>2023-11-01 19:23:18 -0400
commit2b9778c8d9d33174de63716b74b2f114d700e104 (patch)
tree3977a51e8fe8ffed50090371b6e4ac66ee57f828 /fixincludes
parent80b1a371008c31982d35cff9b85ca6affd3ac949 (diff)
downloadgcc-2b9778c8d9d33174de63716b74b2f114d700e104.zip
gcc-2b9778c8d9d33174de63716b74b2f114d700e104.tar.gz
gcc-2b9778c8d9d33174de63716b74b2f114d700e104.tar.bz2
Add files to discourage submissions of PRs to the GitHub mirror.
Currently there is an unofficial mirror of GCC on GitHub that people sometimes submit pull requests to: https://github.com/gcc-mirror/gcc However, this is not the proper way to contribute to GCC, so that means that someone (usually Jonathan Wakely) has to go through the PRs and manually tell people that they're sending their PRs to the wrong place. One thing that would help mitigate this problem would be files in a special .github directory that GitHub would automatically open when contributors attempt to open a PR, that would then tell them the proper way to contribute instead. This patch attempts to add two such files. They are written in Markdown, which I'm realizing might require some special handling in this repository, since the ".md" extension is also used for GCC's "Machine Description" files here, but I'm not quite sure how to go about handling that. Also note that I adapted these files from equivalent files in the git repository for Git itself: https://github.com/git/git/blob/master/.github/CONTRIBUTING.md https://github.com/git/git/blob/master/.github/PULL_REQUEST_TEMPLATE.md What do people think? ChangeLog: * .github/CONTRIBUTING.md: New file. * .github/PULL_REQUEST_TEMPLATE.md: New file.
Diffstat (limited to 'fixincludes')
0 files changed, 0 insertions, 0 deletions