 jedrzej
|
ca96e45453
Removed unnecessary note, as this page got rid of "$" signs in below commit:
|
1 month ago |
 Hugo Locurcio
|
93261ab5d7
Harmonize Bash command syntax for easier line selection and copy-pasting
|
2 months ago |
 Rama Del Maestro
|
ae7aa1d615
Fixed typo in pr_workflow.rst (#8671)
|
11 months ago |
 A Thousand Ships
|
5064ed9fd1
Add instructions for rebasing onto a branch
|
11 months ago |
 Devin Amdahl
|
c48b82fe96
Update PR Workflow documentation to include updated information about GitHub's account verification via HTTPS (#7275)
|
1 year ago |
 John Veness
|
08498ef96a
Change capitalization of Project Manager
|
1 year ago |
 Yuri Sizov
|
dbfe3b1d26
Reorganize documentation for contributors
|
1 year ago |
