On Sat, 29 Apr 2017 10:21:43 +0200 John Crispin <j...@phrozen.org> wrote:
> On 29/04/17 10:16, Hannu Nyman wrote: > > I think that I have stumbled upon a possible force-push that has > > been done on LEDE git master branch yesterday. > > > > I submitted yesterday two LEDE PRs in Github and got notified today > > that they contain extra commits. > > https://github.com/lede-project/source/pull/1076#issuecomment-298112905 > > > > After investigation, it looks like I have pulled two commits from > > LEDE master and the two commits have since then been overwritten by > > a new commit in LEDE master. History has been changed :-( > > > > The two extra commits are not my commits, but I see them in my > > local clean "only do PRs for Github" repo as the current (as of > > yesterday) reference for LEDE master upstream HEAD. The two commits > > are authored and committed by Alexander Couzens on Friday 28 April. > > In upstream they have been now replaced by a new commit from Hans > > Dedecker. > > initial thought would be that lynxsis pushed to the github tree. this > is not the master and does get force pushed from the > git.lede-project.org tree. all commits need to be pushed to that > latter tree or they will get lost. Sorry, for the confusion, that was my mistake. Looks like I've overseen the wrong domain when I pushed it. best, lynxis -- Alexander Couzens mail: lyn...@fe80.eu jabber: lyn...@fe80.eu mobile: +4915123277221 gpg: 390D CF78 8BF9 AA50 4F8F F1E2 C29E 9DA6 A0DF 8604
pgpQk449URNR2.pgp
Description: OpenPGP digital signature
_______________________________________________ Lede-dev mailing list Lede-dev@lists.infradead.org http://lists.infradead.org/mailman/listinfo/lede-dev
