Skip to content

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