<@U051221NF> Would you please fork <https://github...
# development
p
w
errr, don't do that - I should just transfer my fork in, when I have permission
My fork is working
p
I figured we could get an owner to fork the original and then push the branch(es) to the new fork (since you/I/etc have permissions to push commits to the repos). But transferring could work too, with less manual effort. Is someone arranging to elevate your permissions?
w
I hadnt asked. I'm assuming Benjy has permissions, but I've been day-jobbing since that PR went up
p
I didn't mean to add any pressure. I was trying to help smooth things out. Sorry if I stepped on your toes, or jumped in before you had a chance to ask / finish it.
f
Benjy's definitely the person with permissions.
h
And you should have the same permissions there as you do in pantsbuild/pants
So you can push branches
the only branch I forked is main