On Sat, Dec 21, 2019 at 9:11 PM Antonio Trande <anto.tra...@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/e47fbb3ef419b7be939108c2b1deff3f105bfdbc?branch=epel7 > > (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@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 _______________________________________________ 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
