Closed RabeaGleissner closed 9 years ago
Hi @RabeaGleissner, this is totally fine, thanks for opening it.
However, seeing as your previous PR merged your work into the 2015october
branch, you could just PR from there to master
? It's a bit more traceable if people are looking back to understand the various commits.
Sorry, this is just my 'teaching' coming out here. It doesn't make a real difference in this case, but I'm a stickler for 'best practice' :wink:
Also, you're an owner on the repo so feel free to make the changes directly without having to fork from now on :blush:
@iteles Thank you! To be honest, I have very little experience with pull requests and forking etc. so please keep up the teaching :smile_cat: Will create a pull request from from the branch.
Hi @iteles,
Here's the pull request for the master branch. Hope it's fine!