-
Notifications
You must be signed in to change notification settings - Fork 116
Some late feedback on 'Contribute to Guide' PR #109 #118
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Conversation
Apply GBKS's suggestions. Co-authored-by: Christoph Ono <[email protected]>
Co-authored-by: Christoph Ono <[email protected]>
This reverts commit 6b0ed53.
|
If/When this PR gets merged, please squash the commits as there it is a bit 'unclean', containing commits already merged. Reason: I branched off a PR that was already merged (unbeknownst to me). I then merged master into that branch to make sure there were no conflicts. But the previous commits still show up on this PR. |
pavlenex
left a comment
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Just a note, since this PR is based of my earlier PR and not the master, it would be a good idea to squash commits when merging this PR.
pavlenex
left a comment
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Thanks for quickly addressing the navigation and for all the improvements to the page.
Co-authored-by: Christoph Ono <[email protected]>
Co-authored-by: Christoph Ono <[email protected]>
Co-authored-by: Christoph Ono <[email protected]>
I was too slow to comment on it before the merge but here are some tweaks.
Apart from fixed typos and some simplified language the main changes are: