On 4. Sep 2019, at 15:34, Marshall Schor <m...@schor.com> wrote: > > 3) Both of these repos (github and gitbox.apache...) can be used as git > remotes. GitHub comes with github extras - such as issues (we don't use, we > use > jira). I'm not sure if git pull requests are available on gitbox.apache.
To avoid potential problems, I'd suggest we all stick to using a single remote, namely the GitHub one in order to be able to profit immediately from the PR capabilities. The "issues" feature on the GitHub repo is turned off, only the PRs are enabled. -- Richard