(2022-07-11, 12:54)Orion Pobursky Wrote: Sorry about that. I assumed you had issued a pull request from your own repo. My fault for that assumption.
No problem, this is a power of git - I've lost nothing but the pull request message - everything stays in my repo, too. And even if github removed my public repo I still have a local copy. Only I've lost is "upstream" to create pull requests for. This can be restarted for Roland's repo in future, and I hope it will be easy.
As I wrote, it was just surprising
BTW, files in your repo were all with LF line endings - probably by mistake so it's good to switch to CRLF in the new repo anyway as we all agreed on it, it seems.