October 2018: GitHub Development Bounty Winners