mirror of
https://github.com/enso-org/enso.git
synced 2025-01-02 06:31:59 +03:00
b9e6510a12
This PR adds two new labels to interact with CI systems: * `CI: Keep up to date` tells mergify bot to auto-update the PR against develop but do not merge it. * `CI: No changelog needed` is meant to replace old `[ci no changelog needed]` * `CI: Clean build required` marks PR as being incompatible with main development branch and will ensure that runners are cleaned before and after running jobs related to this PR. Note that currently only first label is supported, others will follow with the build script update. However they need to be merged before, so I am able to develop and test them.
279 lines
8.6 KiB
YAML
279 lines
8.6 KiB
YAML
# See https://github.com/probot/settings for all available settings.
|
|
|
|
# General Repository Configuration
|
|
repository:
|
|
name: enso
|
|
description: Hybrid visual and textual functional programming.
|
|
homepage: https://enso.org
|
|
topics:
|
|
enso, visual, textual, hybrid, functional, language, compiler, interpreter,
|
|
graalvm, rts, jit, polyglot
|
|
|
|
private: false
|
|
|
|
has_issues: true
|
|
has_wiki: true
|
|
has_projects: true
|
|
has_downloads: true
|
|
|
|
default_branch: develop
|
|
|
|
allow_squash_merge: true
|
|
allow_merge_commit: false
|
|
allow_rebase_merge: false
|
|
|
|
# The repository labels configuration
|
|
labels:
|
|
- name: "Category: Backend"
|
|
color: "#d1f0fd"
|
|
description: The backend services for the IDE
|
|
- name: "Category: Codegen"
|
|
color: "#d1f0fd"
|
|
description: The code generation stages
|
|
- name: "Category: Compiler"
|
|
color: "#d1f0fd"
|
|
description: The compiler
|
|
- name: "Category: Core"
|
|
color: "#d1f0fd"
|
|
description: The core language
|
|
- name: "Category: Documentation"
|
|
color: "#d1f0fd"
|
|
description: Language, codebase, and library docs
|
|
- name: "Category: External"
|
|
color: "#d1f0fd"
|
|
description: External issues
|
|
- name: "Category: Build"
|
|
color: "#d1f0fd"
|
|
description: The project build and CI/CD
|
|
- name: "Category: Distribution"
|
|
color: "#d1f0fd"
|
|
description: Packaging and distribution of Enso
|
|
- name: "Category: Interpreter"
|
|
color: "#d1f0fd"
|
|
description: The interpreter
|
|
- name: "Category: Libraries"
|
|
color: "#d1f0fd"
|
|
description: Libraries (Enso and others) in this repo
|
|
- name: "Category: Performance"
|
|
color: "#d1f0fd"
|
|
description: Performance of Enso
|
|
- name: "Category: RTS"
|
|
color: "#d1f0fd"
|
|
description: The runtime system
|
|
- name: "Category: Semantics"
|
|
color: "#d1f0fd"
|
|
description: Language semantics
|
|
- name: "Category: Stdlib"
|
|
color: "#d1f0fd"
|
|
description: The Enso standard library
|
|
- name: "Category: Syntax"
|
|
color: "#d1f0fd"
|
|
description: Language syntax
|
|
- name: "Category: Tooling"
|
|
color: "#d1f0fd"
|
|
description: Enso language tooling
|
|
- name: "Category: Types"
|
|
color: "#d1f0fd"
|
|
description: The type-system, and type inference and checking engines
|
|
|
|
- name: "Change: Breaking"
|
|
color: "#ffdce5"
|
|
description: A change that will break a public API or user-facing behaviour
|
|
- name: "Change: Non-Breaking"
|
|
color: "#ffdce5"
|
|
description: A change that will not break a public API or user-facing behaviour
|
|
|
|
- name: "CI: Ready to merge"
|
|
color: "#ffffff"
|
|
description: This PR is eligible for automatic merge
|
|
- name: "CI: Keep up to date"
|
|
color: "#ffffff"
|
|
description: Automatically update this PR to the latest develop.
|
|
- name: "CI: No changelog needed"
|
|
color: "#ffffff"
|
|
description: Do not require a changelog entry for this PR.
|
|
- name: "CI: Clean build required"
|
|
color: "#ffffff"
|
|
description: CI runners will be cleaned before and after this PR is built.
|
|
|
|
- name: "Difficulty: Beginner"
|
|
color: "#d1e9c4"
|
|
description: Little prior knowledge required
|
|
- name: "Difficulty: Core Contributor"
|
|
color: "#d1e9c4"
|
|
description: Should only be attempted by a core contributor
|
|
- name: "Difficulty: Hard"
|
|
color: "#d1e9c4"
|
|
description: Significant prior knowledge required
|
|
- name: "Difficulty: Intermediate"
|
|
color: "#d1e9c4"
|
|
description: Some prior knowledge required
|
|
- name: "Difficulty: Unknown"
|
|
color: "#d1e9c4"
|
|
description: Unable to estimate difficulty
|
|
|
|
- name: "Epic"
|
|
color: "#3E4B9E"
|
|
description: An epic (should never be assigned manually)
|
|
|
|
- name: "Priority: High"
|
|
color: "#fff1c1"
|
|
description: Should be completed in the next sprint
|
|
- name: "Priority: Highest"
|
|
color: "#fff1c1"
|
|
description: Should be completed ASAP
|
|
- name: "Priority: Low"
|
|
color: "#fff1c1"
|
|
description: Should be completed in the next three months
|
|
- name: "Priority: Lowest"
|
|
color: "#fff1c1"
|
|
description: Should be completed at some point
|
|
- name: "Priority: Medium"
|
|
color: "#fff1c1"
|
|
description: Should be completed in the next few sprints
|
|
|
|
- name: "Size: Small"
|
|
color: "#ffdfd3"
|
|
description: Requires a small time commitment
|
|
- name: "Size: Medium"
|
|
color: "#ffdfd3"
|
|
description: Requires a medium time commitment
|
|
- name: "Size: Large"
|
|
color: "#ffdfd3"
|
|
description: Requires a large time commitment
|
|
- name: "Size: Unknown"
|
|
color: "#ffdfd3"
|
|
description: Requires an unknown time commitment
|
|
|
|
- name: "Status: Cannot Reproduce"
|
|
color: "#eeeeee"
|
|
description: Can't reproduce the issue
|
|
- name: "Status: Duplicate"
|
|
color: "#eeeeee"
|
|
description: A duplicate issue
|
|
- name: "Status: Good First Issue"
|
|
color: "#eeeeee"
|
|
description: A good issue for new contributors
|
|
- name: "Status: Help Wanted"
|
|
color: "#eeeeee"
|
|
description: Help wanted with the task
|
|
- name: "Status: Info Needed"
|
|
color: "#eeeeee"
|
|
description: More information needed from submitter
|
|
- name: "Status: Invalid"
|
|
color: "#eeeeee"
|
|
description: Not valid for some reason
|
|
- name: "Status: Research Needed"
|
|
color: "#eeeeee"
|
|
description: The task will require heavy research to complete
|
|
- name: "Status: Wontfix"
|
|
color: "#eeeeee"
|
|
description: Will not be fixed / not a bug
|
|
|
|
- name: "Type: Bug"
|
|
color: "#ede2fe"
|
|
description: A bug in Enso
|
|
- name: "Type: Enhancement"
|
|
color: "#ede2fe"
|
|
description: An enhancement to Enso
|
|
- name: "Type: RFC"
|
|
color: "#ede2fe"
|
|
description: An RFC proposing a change to Enso
|
|
- name: "Type: Release"
|
|
color: "#ede2fe"
|
|
description: Preparation for an Enso release
|
|
|
|
- name: "RFC: Active"
|
|
color: "#e4decb"
|
|
description: An RFC being actively implemented
|
|
- name: "RFC: Discussion"
|
|
color: "#e4decb"
|
|
description: An RFC preliminarily complete
|
|
- name: "RFC: FCP"
|
|
color: "#e4decb"
|
|
description: An RFC in the final comment period
|
|
- name: "RFC: Accepted"
|
|
color: "#e4decb"
|
|
description: An RFC accepted into Enso
|
|
- name: "RFC: Rejected"
|
|
color: "#e4decb"
|
|
description: An RFC rejected for inclusion in Enso
|
|
- name: "RFC: Postponed"
|
|
color: "#e4decb"
|
|
description: An RFC that has been postponed
|
|
|
|
# Teams configuration
|
|
teams:
|
|
- name: developers
|
|
permission: push
|
|
- name: moderators
|
|
permission: maintain
|
|
|
|
# Branch protection
|
|
branches:
|
|
- name: develop
|
|
protection:
|
|
required_pull_request_reviews:
|
|
required_approving_review_count: 1
|
|
dismiss_stale_reviews: false
|
|
require_code_owner_reviews: true
|
|
dismissal_restrictions: {}
|
|
|
|
required_status_checks:
|
|
# Require branches to be up-to-date before merging.
|
|
strict: true
|
|
contexts:
|
|
- "Engine (linux)"
|
|
- "Engine (windows)"
|
|
# The macOS job is intentionally omitted.
|
|
- "Test Formatting"
|
|
- "license/cla"
|
|
|
|
# GUI jobs
|
|
# macOS is not required because it is slow and not as reliable as other checks.
|
|
# - "Build Project Manager (macos)"
|
|
# - "Build GUI (WASM) (macos)"
|
|
# - "Package IDE (macos)"
|
|
- "Native GUI tests (linux)"
|
|
- "Cancel Previous Runs"
|
|
- "Build GUI (WASM) (linux)"
|
|
- "Lint (linux)"
|
|
- "Build GUI (WASM) (windows)"
|
|
- "Build Backend (windows)"
|
|
- "Assert if CHANGELOG.md was updated (on pull request)"
|
|
- "WASM GUI tests (linux)"
|
|
- "Build Backend (linux)"
|
|
- "Package IDE (windows)"
|
|
- "Package IDE (linux)"
|
|
# Integration tests are currently not reliable.
|
|
# TODO [mwu]: Restore once https://www.pivotaltracker.com/story/show/182278293 is fixed.
|
|
# - "IDE integration tests (linux)"
|
|
enforce_admins: null
|
|
restrictions: null
|
|
- name: "release/*.x"
|
|
protection:
|
|
required_pull_request_reviews:
|
|
required_approving_review_count: 1
|
|
dismiss_stale_reviews: false
|
|
require_code_owner_reviews: true
|
|
dismissal_restrictions: {}
|
|
|
|
required_status_checks:
|
|
# Require branches to be up-to-date before merging.
|
|
strict: true
|
|
contexts:
|
|
- "Build and Test (macOS-latest)"
|
|
- "Build and Test (ubuntu-18.04)"
|
|
- "Build and Test (windows-latest)"
|
|
- "Build Engine"
|
|
- "Rust Check"
|
|
- "Rust Lint"
|
|
- "Rust Test Native (macOS-latest)"
|
|
- "Rust Test Native (ubuntu-latest)"
|
|
- "Rust Test Native (windows-latest)"
|
|
- "Rust Test WASM"
|
|
- "license/cla"
|
|
# - "Vulnerability Scan" # CodeQL is temporarily disabled due to incompatibility
|
|
enforce_admins: null
|
|
restrictions: null
|