Cross-repo access vs. repo-dev playground

[Li-Wen Hsu]

On Fri, Dec 25, 2020 at 1:00 AM Jan Beich <jbeich at freebsd.org> wrote:
>
> Having only ports/ bit it seems my ~/.gitconfig is correct, so
> I've pushed https://cgit-dev.freebsd.org/ports/commit/?h=57b1cfb8f79b
> but pushing to other *-dev repos fails.
>
> Am I missing something?
>
> $ cd /path/to/freebsd-doc
> $ ee share/pgpkeys/jbeich.key
> $ git commit -m "pgpkeys: update my key" !$
> $ git push freebsd
> FATAL -- ACCESS DENIED
> Repo            doc
> User            jbeich
> Stage           Before git was called
> Operation       Repo write
>
> FATAL: W any doc jbeich DENIED by fallthru
> (or you mis-spelled the reponame)
> fatal: Could not read from remote repository.
>
> Please make sure you have the correct access rights
> and the repository exists.
>
> $ git remote -v
> freebsd git at repo-dev.FreeBSD.org:doc.git (fetch)
> freebsd git at repo-dev.FreeBSD.org:doc.git (push)
> origin  https://git.FreeBSD.org/doc.git (fetch)
> origin  https://git.FreeBSD.org/doc.git (push)

Cross repo commit should be accepted as it is before. I suspect this
is some timing issue when I was testing configuration of the staging
(-dev) environment.  Please try again and see if it still has issues.
(I have src and ports bits, but I did push to doc repo as the first
git commit :-)

Best,
Li-Wen