justmerge (pypi): Just merge the GitHub Pull Requests that are ready to merge
Keywords: github