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

Add missing documentation on how to quickly checkout a PR #422

Open
3 of 14 tasks
shmonks opened this issue Oct 24, 2024 · 2 comments
Open
3 of 14 tasks

Add missing documentation on how to quickly checkout a PR #422

shmonks opened this issue Oct 24, 2024 · 2 comments
Labels
complexity: small All steps are laid out in detail so that someone new to the project can work on it dependency Issue has dependencies feature: docs: PD team documentation documentation on PD team processes and architecture, etc. ready for dev lead ready for product role: back end role: dev role: product s: PD team stakeholder: People Depot Team size: 0.25pt Can be done in 0.5-1.5 hours
Milestone

Comments

@shmonks
Copy link
Member

shmonks commented Oct 24, 2024

Dependency

  • Information missing about how to checkout PRs in GitHub

Overview

We need to make it easy to:

  • Record any missing documentation about how to checkout PRs in GitHub
  • Keep those records in one place
  • Create new issues based on those records

This issue is the place to record missing documentation and start creating related new issues.

Details

  • We are striving to write documentation that helps developers create and review PRs. See Resource 1.01.
  • This issue tracks the documentation that needs to be added for quickly checking out PRs in GitHub. If you've noticed missing documentation about other Git and/or Django processes,
see the following issues instead

Action Items

  • For each piece of missing information, copy and paste the following template into a new comment below.
### Overview
We need to add [REPLACE WITH WHAT NEEDS ADDING], so that developers can [REPLACE WITH BENEFIT]

### Action Items
- [ ] [REPLACE WITH ACTION ITEMS]

### Resources/Instructions/Tags 

- 1.01 Example of another team's PR review guide [Website team's PR review guide](https://github.com/hackforla/website/wiki/How-to-review-pull-requests)
- 1.0x [REPLACE WITH LINKS TO ANY EXTERNAL DOCS THAT MIGHT BE USEFUL (WITH INSTRUCTIONS, IF NEEDED)]
- 1.0x [REPLACE WITH ANY RELEVANT TAGS e.g., git, django, etc.]

### Documentation Addition Notes
#### What's missing?
[REPLACE WITH DESCRIPTION OF WHAT'S MISSING FROM THE DOCUMENTATION]
   
#### Where should it go?
[REPLACE WITH URL OR INDICATE NEW PAGE AND PARENT PAGE]

####  When would this information have been useful?
[REPLACE WITH LINK TO THE PR/ISSUE/SITUATION THAT PROMPTED THE NEED FOR THIS CHANGE/ADDITION]
   
#### Which roles will benefit most from this information?
[REPLACE WITH ROLES]

  • Fill out as many of the template's fields as possible.
  • Copy and paste a link to your comment in Section 2: List of comments/issues about missing documentation on how to checkout a PR below, using the next available number
  • Copy the content of your comment
  • Create a new issue, pasting the content of your comment into the new issue
  • Add the following labels to the new issue
    • feature: docs: PD team documentation
    • size: 0.25pt
    • s: PD team
    • ready for dev lead
    • choose a complexity label that fits
    • choose the role label that fits
  • When this new issue has been created, add a link to it in Section 2: List of comments/issues about missing documentation on how to checkout a PR below. Make sure the link to your new issue appears beneath the link to your comment, so we can ensure that all comments get made into issues
  • Hide the original comment (you can mark it 'Resolved')

Resources/Instructions

Section 2: List of comments/issues about missing documentation on how to checkout a PR

@shmonks shmonks removed their assignment Oct 24, 2024
@shmonks

This comment was marked as outdated.

@shmonks shmonks changed the title Add missing documentation on how to quickly check out a PR in GitHub Add missing documentation on how to quickly checkout a PR in GitHub Oct 24, 2024
@shmonks shmonks changed the title Add missing documentation on how to quickly checkout a PR in GitHub Add missing documentation on how to quickly checkout a PR Oct 24, 2024
@shmonks shmonks added dependency Issue has dependencies and removed draft This issue is not fully-written good first issue Good for newcomers labels Oct 24, 2024
@shmonks shmonks moved this from 🆕New Issue Review to 🧊Ice Box in P: PD: Project Board Oct 25, 2024
@shmonks shmonks added the draft This issue is not fully-written label Oct 28, 2024
@shmonks shmonks moved this from 🧊Ice Box to 🏗In progress-actively working in P: PD: Project Board Oct 28, 2024
@shmonks shmonks moved this from 🏗In progress-actively working to 📋Prioritized Backlog in P: PD: Project Board Oct 31, 2024
@shmonks shmonks added role: product ready for product and removed draft This issue is not fully-written labels Oct 31, 2024
@shmonks
Copy link
Member Author

shmonks commented Oct 31, 2024

Overview

We need to add documentation so that developers can checkout PRs quickly and effectively.

Action Items

Resources/Instructions/Tags

1.01 Example of another team's PR review guide Website team's PR review guide
1.02 git

Documentation Addition Notes

What's missing?

  • 1.01 Here's how to checkout a PR to local branch pr/xxx:
  1. Add this git alias to your global git config:
[alias]
    pr = !sh -c \"git fetch upstream pull/${1}/head:pr/${1} && git switch pr/${1}\"
  1. Then, to checkout a PR to local branch pr/xxx (e.g., checking out PR Create SocMajor table #383 to a local branch called pr/383), run this replacing '383' with the relevant number:
git pr 383
  1. Note that:
  • This might only work in GitHub

  • The alias assumes the PRs are in the upstream remote

  • 1.02 Here's a way to checkout a PR to local branch prt/xxx which tracks the remote branch from which the PR was originally created:

  1. Add this git alias to your global git config:
[alias]
    prt = "!f() { \
      set -x; \
      git fetch --force upstream pull/${1}/head:prt/${1}; \
      git switch prt/${1}; \
      { set +x; } 2>&-; \
      commit_hash=$(git rev-parse HEAD); \
      remote_branch=$(git branch -r --contains $commit_hash | head -n 1); \
      set -x; \
      git branch -u $remote_branch prt/${1}; \
      { set +x; } 2>&-; \
    }; f"
  1. Then, to checkout a PR to local branch prt/xxx (e.g., checking out PR Create SocMajor table #383 to a local branch called prt/383), run this replacing '383' with the relevant number:
git prt 383
  1. To see tracking info, run:

git status -sb

  1. Note that:
  • The alias assumes the PRs are in the upstream remote, and that the remote containing the original working branch is set
  • This will reset the prt/xxx branch if it already exists

Where should it go?

[REPLACE WITH URL OR INDICATE NEW PAGE AND PARENT PAGE]

When would this information have been useful?

Which roles will benefit most from this information?

  • Backend/Dev

@vanessaavviles vanessaavviles self-assigned this Oct 31, 2024
@vanessaavviles vanessaavviles moved this from 📋Prioritized Backlog to 🏗In progress-actively working in P: PD: Project Board Oct 31, 2024
@shmonks shmonks moved this from 🏗In progress-actively working to 🧊Ice Box in P: PD: Project Board Nov 14, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
complexity: small All steps are laid out in detail so that someone new to the project can work on it dependency Issue has dependencies feature: docs: PD team documentation documentation on PD team processes and architecture, etc. ready for dev lead ready for product role: back end role: dev role: product s: PD team stakeholder: People Depot Team size: 0.25pt Can be done in 0.5-1.5 hours
Projects
Status: 🧊Ice Box
Development

No branches or pull requests

2 participants