github-related updates