Removed: deleted ready-to-merge label ready-to-merge is unneeded as we use required reviews for pull requests.

Jawshy committed Sep 30, 2017

Expanded and tweaked label descriptions.

Jawshy committed Nov 18, 2016

Added new label: invalid

Jawshy committed Sep 26, 2016

Added link to labels.

Jawshy committed Sep 26, 2016

Initial commit.

Jawshy committed Sep 25, 2016