https://gcc.gnu.org/g:28064d6430f3fa71e79d11ac9d4bf3e6adf52145
commit 28064d6430f3fa71e79d11ac9d4bf3e6adf52145
Author: Thomas Schwinge <tschwi...@baylibre.com>
Date: Sat Mar 16 23:32:57 2024 +0100
Revert "Add files to discourage submissions of PRs to the GitHub mirror."
This is not applicable for GCC/Rust, which does use GitHub.
This reverts commit 2b9778c8d9d33174de63716b74b2f114d700e104.
Diff:
---
.github/CONTRIBUTING.md | 18 ------------------
.github/PULL_REQUEST_TEMPLATE.md | 5 -----
2 files changed, 23 deletions(-)
diff --git a/.github/CONTRIBUTING.md b/.github/CONTRIBUTING.md
deleted file mode 100644
index 4f7b3abca5f4..000000000000
--- a/.github/CONTRIBUTING.md
+++ /dev/null
@@ -1,18 +0,0 @@
-## Contributing to GCC
-
-Thanks for taking the time to contribute to GCC! Please be advised that if you
are
-viewing this on `github.com`, that the mirror there is unofficial and
unmonitored.
-The GCC community does not use `github.com` for their contributions. Instead,
we use
-a mailing list (`gcc-patc...@gcc.gnu.org`) for code submissions, code
-reviews, and bug reports.
-
-Perhaps one day it will be possible to use
[GitGitGadget](https://gitgitgadget.github.io/) to
-conveniently send Pull Requests commits to GCC's mailing list, the way that
the Git project currently allows it to be used to send PRs to their mailing
list, but until that day arrives, please send your patches to the mailing list
manually.
-
-Please read ["Contributing to GCC"](https://gcc.gnu.org/contribute.html) on
the main GCC website
-to learn how the GCC project is managed, and how you can work with it.
-In addition, we highly recommend you to read [our guidelines for read-write
Git access](https://gcc.gnu.org/gitwrite.html).
-
-Or, you can follow the ["Contributing to GCC in 10 easy
steps"](https://gcc.gnu.org/wiki/GettingStarted#Basics:_Contributing_to_GCC_in_10_easy_steps)
section of the ["Getting Started"
page](https://gcc.gnu.org/wiki/GettingStarted) on [the
wiki](https://gcc.gnu.org/wiki) for another example of the contribution process.
-
-Your friendly GCC community!
diff --git a/.github/PULL_REQUEST_TEMPLATE.md b/.github/PULL_REQUEST_TEMPLATE.md
deleted file mode 100644
index 6417392c8cf3..000000000000
--- a/.github/PULL_REQUEST_TEMPLATE.md
+++ /dev/null
@@ -1,5 +0,0 @@
-Thanks for taking the time to contribute to GCC! Please be advised that if you
are
-viewing this on `github.com`, that the mirror there is unofficial and
unmonitored.
-The GCC community does not use `github.com` for their contributions. Instead,
we use
-a mailing list (`gcc-patc...@gcc.gnu.org`) for code submissions, code reviews,
and
-bug reports. Please send patches there instead.
