On Sat, Dec 21, 2019 at 3:20 PM Fabio Valentini <decathorpe(a)gmail.com> wrote:
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
It is *possible* to branch from right before the commit, and put
*that* in your branch or your local repo to work with. It's also
possible to replace an upstream git repo, entirely, with a repo that
does not have the commit. This is the feature that CVS had, and
Subversion absolutely refuses to support, and it can be *done* with
git but leaves split brain with any clones that contain that
commit.It's quite dangerous to do. A "revert" command is normally
much, much, much safer.