update github dev ids