diff options
| author | Martin Robinson <mrobinson@igalia.com> | 2025-03-30 12:14:13 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-03-30 10:14:13 +0000 |
| commit | 971490084e5ab994fb6b1e651044ad1f5afa4169 (patch) | |
| tree | d070f69ee5c99ffd823fda5dc780b7aa6b79b2fd /components/script/dom/bindings/root.rs | |
| parent | c593e15fa85ed9f447d890422f51878eac17c034 (diff) | |
| download | servo-971490084e5ab994fb6b1e651044ad1f5afa4169.tar.gz servo-971490084e5ab994fb6b1e651044ad1f5afa4169.zip | |
Use a simpler GitHub pull request template (#36203)
The idea here is that we can use the pull request description as the
commit message, so that the git history is cleaner. This requires:
1. Removing comments from the message, as GitHub doesn't remove them
from the pull request descriptions when committing.
2. Remove the checklist, which is now verified by the CI instead, so
is less important.
3. Ask the contributor to remove the lines expicitly.
Signed-off-by: Martin Robinson <mrobinson@igalia.com>
Diffstat (limited to 'components/script/dom/bindings/root.rs')
0 files changed, 0 insertions, 0 deletions