github: Deployment context in repository properties and alerts

GitHub added deployment context to repository properties and security alert pages. Two new built-in repository properties, deployable and deployed, now expose this information.

• Source: GitHub