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]
