On 13 Dec 2016, at 05:48 , Lawrence Velázquez <lar...@macports.org> wrote:
> Yeah, they'll linger until the PR branch is deleted and GitHub runs garbage > collection on the repository. Yes, I was fearing that well… That will be seen once I delete those PR branches in my repos. Unfortunately I can’t amend my last commit and force-push it into origin’s master… (But I understand that this precaution is needed.)
