+ [2019-12-04T10:28:15Z] tshirtman didn't try it but apparently there is "git subtree split" for that now
+ [2019-12-04T10:32:15Z] plundra Ok, filter-branch seems to work, not done yet but got a branch with a clean tree from my subdirectory.
+ [2019-12-04T10:32:18Z] plundra So thank you both!
+ [2019-12-04T14:13:31Z] leela52452 where can i find info about good milestones and issue boards of project example

message no. 176258

Posted by plundra in #github at 2019-12-04T10:32:15Z

Ok, filter-branch seems to work, not done yet but got a branch with a clean tree from my subdirectory.
+ [2019-12-05T01:48:44Z] rawtaz hi peeps. i have a PR in a repo i am maintainer in, and i need to fix up some stuff in the fork's branch for this PR before merging. i added the fork as a remote, then created a branch off upstream master and cherry-picked one commit from the fork's PR branch. but when trying to force push my local branch to that fork remote PR branch, i get 403.
+ [2019-12-05T01:49:02Z] rawtaz is this likely because the author of the PR hasn't checked the box that lets maintainers push to his branch?
+ [2019-12-05T01:49:31Z] rawtaz and is there any way i can check if that checkbox is checked or not, myself?
+ [2019-12-05T01:50:55Z] rawtaz or must i completely clone the fork repository and work from within that clone instead?