Skip to content
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

WIP: DOC: Add documentation for editing another persons PR #104

Closed

Conversation

Kai-Striega
Copy link
Member

This adds documentation for editing a stale PR. There is still some work / refinement to be done.

@Kai-Striega Kai-Striega added documentation Improvements or additions to documentation git Issues that have to do with managing git labels Mar 14, 2024
@Kai-Striega Kai-Striega added this to the 2.0 milestone Mar 14, 2024
@Kai-Striega Kai-Striega self-assigned this Mar 14, 2024
@Kai-Striega
Copy link
Member Author

closing as #111 was an almost identical PR

@Kai-Striega Kai-Striega deleted the doc/checking_out_someone_elses_pr branch March 25, 2024 01:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Improvements or additions to documentation git Issues that have to do with managing git
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant