Fix all github related bugs in initial push