On Sat, May 30, 2020 at 11:09 PM Jelle van der Waa firstname.lastname@example.org wrote:
I would recommend everyone to stop using gitlab to pull patches as the output of the patches changes over time due to the encoding of the git version number. So it's best to just svn add those, Github does not have this issue.
In case anyone didn't know, you can also add `.patch` to the URL of a GitLab MR or a GitHub PR. This gives you the entire series of patches as a single file. Of course, you should still add the file to SVN.