Need to some advice from established committers :-) How do you merge the pull request? Through button on github? Or applying patch locally and then committing it? Where to add “This closes ###” comment exactly?
Please help me out with steps! Regards, Gaurav Aradhye
