João Moreno
|
92fd228156
|
remove unused PR template line (#155601)
|
2022-07-19 14:33:41 +02:00 |
|
João Moreno
|
980becda8d
|
main rename
fixes #116341
|
2021-02-14 20:10:24 +01:00 |
Ԝеѕ
|
99e7aea4a8
|
PR template - remove pull requests link full stop (#115090)
|
2021-01-27 01:17:15 -08:00 |
ChaseKnowlden
|
e8760a5d6c
|
Fix capitalization of GitHub org
|
2020-09-17 11:43:03 +02:00 |
Erich Gamma
|
6251b1c226
|
Update pull_request_template.md
|
2019-10-11 14:21:06 +02:00 |
|
Erich Gamma
|
1cd8dce12c
|
Create pull_request_template.md
|
2019-10-11 11:56:05 +02:00 |