Repository Properties - 1

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.