BOSS 2018 has ended ! ! !

Hi Everyone !
BOSS 2018 has officially ended.
Now you cannot claim for any issue or pull request.

The contest has ended on 23:59hrs, 15th August 2018. You can see the leaderboard for the final results on this page
There are might be some open PRs and claims that are left to triage and merge. We will handle all outstanding claims till 20th August If there are any concerns, please email [email protected]
The standing on the leaderboars as on 20th August 2018 is final and binding.

Thank you all for participating.
BOSS 2018 was a success because of your efforts. See you all on BOSS 2019.
I hope BOSS 2019 will be more bigger, better and BOSS-ier.