Recently somebody showed a service that provides the probability of merging your pull request per github repo. Does anyone remember it's name or has the link to it?