GitHub repository integration: handling archived repos

The GitHub repository integration now sources the archived status of the repository. Customers get a clear overview of actively used or archived repositories in their inventory to help them ensure proper governance once a repository is archived.