Fixed issue with github sync

Not needed