[ ] If a user-facing facing change was made, the documentation PR is here:
[x] OR, no user-facing changes were made
Release notes
A CI failure has been reported in which the ghr call was failing with the following error:
Failed to set up ghr: repository owner name not found
In order to ensure this will not randomly fail in the future, we are passing the -u flag pointing to our CI username stan-buildbot.
Submission Checklist
Release notes
A CI failure has been reported in which the ghr call was failing with the following error:
Failed to set up ghr: repository owner name not found
In order to ensure this will not randomly fail in the future, we are passing the-u
flag pointing to our CI username stan-buildbot.Copyright and Licensing
By submitting this pull request, the copyright holder is agreeing to license the submitted work under the BSD 3-clause license (https://opensource.org/licenses/BSD-3-Clause)