Hi all, I'm trying to create a fix for the above mentioned bug. But I have some doubts about the description. It says to change the date format "dd mm" to "dd-mm". So the only change needed is to add a hyphen if there is a date and then a month? (Other than the decimal point change). I have already fixed the bug according to what I have understood (which is mentioned above). Please explain me how to push it to the github (I found the instructions in [1]. Relevant project name and the needed branch name is what I want. Or is there any other way to submit the patch?)
[1]https://gerrit.wikimedia.org/r/Documentation/user-upload.html