github-scripts Small quick-and-dirty scripts to get infos from Github API. /!\ WARNING: No tests! Don't try to do it at home!