GitHub extension