fix stupidtable plugin
update leaderboard when pushing new commits to pr