<div dir="ltr">Hi,<div><br></div><div>Last couple of weeks I've been sending PRs on Github and making it more usable for myself. </div><div>Tweaking Travis, adding ticket links to descriptions for easy merge, writing to Github support to get Search for SQL working and .editorconfig trimming whitespace as it should...</div><div><br></div><div>On IRC discussions there was a proposal to create a "Github team" that will do such things on regular basis. I volunteer to be part of it.</div><div><br></div><div>Things I can't do as regular user on Github now are:</div><div> - adding/removing labels to PRs;</div><div> - rebasing and tweaking descriptions of other people's PRs to include authorship and ticket link.</div><div><br></div><div>There are also some other ideas of what could be done (attaching other build bots, forwarding PRs...). Please share them :)</div></div>