About 8 or so months ago, Hoss & I discussed privately an idea to use a text file for "dummy" commits that close PRs we have no other way to close (there are A LOT of PRs that aren't code contributions). Something as simple as adding a "." (period) to it and committing it would be enough and, IIUC, multiple PRs can be closed with a single commit. We didn't do anything with the idea - someone else could run with it though.
On the gitbox front, did Infra by any chance point you at any further information about it? The last time I looked they only had a sign up form, but nothing we could use to fully understand how our workflows change nor help explain why others might want to support such a change. Cassandra On Mon, Jul 30, 2018 at 12:52 AM Shawn Heisey <[email protected]> wrote: > On 7/29/2018 8:52 AM, Alexandre Rafalovitch wrote: > > I can't seem to be able to close other people's (outdated) GitHub > > issues against Lucene/Solr repo. I just don't see the button. I am > > logged in with my normal GitHub ID and have Apache email as the > > secondary. > > I chatted with Infra about this. > > This is the summary of what Infra said: > > 1) use the "this closes #123" commit message, which will only work if > you actually merge something properly > 2) file a ticket with us, we can close PRs for you > 3) move to gitbox and you can get write-access to github and thus close > tickets yourself > > Apache Infra can close them. The author of the pull request can close > their own requests. With the proper "This closes #nnn" text in a commit > message, they can be closed automatically by the connections that have > been established between github and Apache git. > > Infra has told me that all projects using the git-wip host will be > migrated to gitbox at some point in the future, which means it will be > possible to write to the repo with either apache or github credentials, > as long as they have been given the right karma. Once we move to gitbox, > which we can request from Infra before the future forced migration, we > will be able to close pull requests ourselves. They would prefer that > we opt to complete the migration in advance. > > Thanks, > Shawn > > > --------------------------------------------------------------------- > To unsubscribe, e-mail: [email protected] > For additional commands, e-mail: [email protected] > >
