| 12 Mar 2025 |
 colemickens | K900: idk how to push to a branch on someone's fork for a PR or whatever | 01:26:09 |
| colemickens | do you mind if I just rebase it and push it to master? | 01:26:17 |
 Artturin | gh repo pr checkout 45 | 01:26:47 |
| Artturin | * gh pr checkout 45 | 01:26:51 |
| colemickens | I don't use gh and I don't use git so :/ | 01:27:00 |
| colemickens | I get nervous | 01:27:03 |
| colemickens | is there a special github remote/branch I push to? I could not be lazy I guess and look it up | 01:27:26 |
| colemickens | oh wow, apparently github just lets you push to their branch on their fork directly | 01:30:16 |
 emily | you just add the person's repo as a remote | 01:30:16 |
| emily | and push to the branch the PR is on | 01:30:19 |
| emily | yeah | 01:30:20 |
