Having problems with github here