add a badge on github.