Hi, 2015-02-04 21:55 GMT+01:00 Jan Wagner <m...@jwagner.eu>: > > and dont get me worng - i did some pulls requests already - I think I > did a misstake by deleting my github fork: > > https://github.com/RIOT-OS/RIOT/pull/2387 > > https://github.com/RIOT-OS/RIOT/pull/2312 < problem here > I deleted the fork form my github user and therefore it says > > fswarm <https://github.com/rfswarm> wants to merge 9 commits into > RIOT-OS:master from unknown repository <<< unknown > > and I am unable to edit the files anymore. > > so I just want to do it right and not beeing able to ... grrr :] >
My retrospective advice would be: Don't delete your fork while having a PR open [?] Cheers, Martine
_______________________________________________ devel mailing list devel@riot-os.org http://lists.riot-os.org/mailman/listinfo/devel