Hopefully fixed git problems due to changing repo name...