Gamifing events of github with help of gami-gem and gami-server