Re: Messing up GitHub and proposing to Close PR's

2020-03-07 Thread Dick Groskamp
Op 2-3-2020 om 17:15 schreef Dick Groskamp: As some of you probably noted I've accidently messed up GitHub with a lot of Pull Requests. I spent last week reading and googling on how to resolve that. I failed. I do have Git set up and do have a fork on GitHub. Everything goes well .until

Messing up GitHub and proposing to Close PR's

2020-03-02 Thread Dick Groskamp
As some of you probably noted I've accidently messed up GitHub with a lot of Pull Requests. I spent last week reading and googling on how to resolve that. I failed. I do have Git set up and do have a fork on GitHub. Everything goes well .until I make a Pull Request to have the changes be