it was me, it was a total mistake in which i gave wrong remote name where they were similar in my config. and i did the second one to remove one commit in the middle in source tree in it wont happen again. i changed my remote names to avoid such confusion. sorry if that caused any issues at all.
On Tue, May 19, 2020 at 9:22 AM Andrea Cosentino <anco...@gmail.com> wrote: > Yes, we could disable that, but I think it could be useful in those few > cases. > > Il giorno mar 19 mag 2020 alle ore 08:18 Jean-Baptiste Onofre < > j...@nanthrax.net> ha scritto: > > > Hi, > > > > Agree with Andrea. By the way, we can "block" force push on gitbox (it’s > > what I did on Karaf to avoid any mistake). > > > > Regards > > JB > > > > > Le 19 mai 2020 à 08:17, Andrea Cosentino <anco...@gmail.com> a écrit : > > > > > > Hello, > > > > > > If you see the local master branch diverged from origin master, please > > do a > > > git pull --rebase. > > > > > > Please, the next time, avoid force pushing on any branch. > > > > > > Force pushing should be used in a just a few cases. > > > > > > Thanks. > > > > >
