the GitHub MINER explores GitHub