GitHub repository integration: Observer as new default subscription role

As announced earlier, the new default for subscription roles sourced from the GitHub repository integration is now "observer". See our documentation for more details.