On 10/23/2015 09:59 PM, Luis Ressel wrote: > On Wednesday, someone seems to have done a --force'd push to the gentoo > repository. The commits > * 5e04009 sci-mathematics/minisat: rev-bump and build fixes for latest, > QA cleanup > * 9c9fce9 media-libs/urt: build fixes, QA cleanups, new shared lib > build, SRC_URI > > are now missing from the repo, they were overwritten by > cbb7cfa sys-kernel/tuxonice-sources: Version bumps. > > Was this intended? If not, @nerdboy: You might want to commit these > changes again.
Nah, force pushes are not allowed. It seems someone has hit the "merge button" at github. All those commits will ofc be overwritten by the gentoo-bot which pushes from the actual repo to the github mirror. So again: don't use the merge button.