On 09. 07. 24 17:01, David Bold wrote:
Gi,
I tried to open a PR to get petsc rebuild for a recent update of openmpi.
However, I cannot open a PR, which I think might be related that I only have an
empty commit [0].
I have been told I should open PRs for rebuilds [1].
Is it possible to have a PR without any code changes?
Is there an alternative, recommended way to ask for rebuilds?
Best,
David
[0] https://src.fedoraproject.org/fork/davidsch/rpms/petsc/diff/rawhide..rawhide
[1]
https://lists.fedoraproject.org/archives/list/devel@lists.fedoraproject.org/message/QIOG5NGHKIABSU2M2QQCZ67PHZSVVV5H/
I reported this as a problem to Pagure 2.5 years ago:
https://pagure.io/pagure/issue/5270
No meaningful response since.
--
Miro Hrončok
--
Phone: +420777974800
Fedora Matrix: mhroncok
--
_______________________________________________
devel mailing list -- devel@lists.fedoraproject.org
To unsubscribe send an email to devel-le...@lists.fedoraproject.org
Fedora Code of Conduct:
https://docs.fedoraproject.org/en-US/project/code-of-conduct/
List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines
List Archives:
https://lists.fedoraproject.org/archives/list/devel@lists.fedoraproject.org
Do not reply to spam, report it:
https://pagure.io/fedora-infrastructure/new_issue