On Sat, Dec 21, 2019 at 9:11 PM Antonio Trande <anto.trande(a)gmail.com> wrote:
Hi all.
Please, can you help me to remove this last commit on EPEL7 branch?
https://src.fedoraproject.org/rpms/petsc4py/c/e47fbb3ef419b7be939108c2b1d...
(I wish top return to the 3.11.0 release of petsc4py)
git commits cannot be removed from dist-git.
If you have not built this commit for EPEL7, then reverting the
unwanted commits and pushing the result should do what you want?
(I see that this is a merge commit, and I don't know how smart git is
with reverting merge commits. You'll have to try to see it, I guess.)
Fabio
> Regards.
> --
> ---
> Antonio Trande
> Fedora Project
> mailto 'sagitter at fedoraproject dot org'
> GPG key: 0x7B30EE04E576AA84
> GPG key server:
https://keys.openpgp.org/
>
> _______________________________________________
> devel mailing list -- devel(a)lists.fedoraproject.org
> To unsubscribe send an email to devel-leave(a)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