Github application which verifies whether a milestone has been set on a PR or not - View it on GitHub