 Todd Zullinger
|
3c4cd2801d
doc: explain how to fetch a pull request locally
|
6 years ago |
|
Todd Zullinger
|
4e0b4b6d63
doc: minor grammatical fix in usage/pull_requests
|
6 years ago |
 René Genz
|
ec00226238
Fix minor spelling mistakes; fix broken links
|
6 years ago |
 Kamil Páral
|
456808e7db
docs: switch ordering of PR remote configuration
|
6 years ago |
|
Kamil Páral
|
2a3318f164
docs: pr: use origin remote name instead of upstream
|
6 years ago |
 sclark
|
cd1c4a1312
Update .git/config example in doc/usage/pull_requests.rst
|
7 years ago |
 Clement Verna
|
0afe07bb02
Update the documentation on how to create pull requests.
|
7 years ago |
|
Clement Verna
|
f39e6eed94
Add bash function example to PR documentation
|
7 years ago |
|
Clement Verna
|
ea020699b5
Update the documentation on how to work with pull requests
|
7 years ago |
|
René Genz
|
52002089d4
fix minor typos
|
7 years ago |
 Jeremy Cline
|
0e256c24ba
Add documentation for working with PRs locally
|
7 years ago |
|
Jeremy Cline
|
0b19fd95e5
Add usage docs for forks and pull requests
|
7 years ago |
