github-dice. A useful tool for assigning someone to GitHub Issue, like a rolling dice.