2020-05-15 19:38:04 +03:00
|
|
|
# See https://github.com/probot/settings for all available settings.
|
|
|
|
|
|
|
|
# General Repository Configuration
|
|
|
|
repository:
|
2020-06-23 18:45:27 +03:00
|
|
|
name: enso
|
2020-05-15 19:38:04 +03:00
|
|
|
description: Hybrid visual and textual functional programming.
|
|
|
|
homepage: https://enso.org
|
2020-07-21 15:59:40 +03:00
|
|
|
topics:
|
|
|
|
enso, visual, textual, hybrid, functional, language, compiler, interpreter,
|
2021-04-15 13:34:17 +03:00
|
|
|
graalvm, rts, jit, polyglot
|
2020-05-15 19:38:04 +03:00
|
|
|
|
|
|
|
private: false
|
|
|
|
|
|
|
|
has_issues: true
|
|
|
|
has_wiki: true
|
|
|
|
has_projects: true
|
|
|
|
has_downloads: true
|
|
|
|
|
2021-11-01 03:37:30 +03:00
|
|
|
default_branch: develop
|
2020-05-15 19:38:04 +03:00
|
|
|
|
|
|
|
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
|
2020-06-23 17:28:20 +03:00
|
|
|
- name: "Category: Codegen"
|
|
|
|
color: "#d1f0fd"
|
|
|
|
description: The code generation stages
|
2020-05-15 19:38:04 +03:00
|
|
|
- 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"
|
2020-06-23 19:04:19 +03:00
|
|
|
description: The project build and CI/CD
|
2020-05-15 19:38:04 +03:00
|
|
|
- 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
|
2020-09-10 12:03:03 +03:00
|
|
|
- name: "Category: Stdlib"
|
|
|
|
color: "#d1f0fd"
|
|
|
|
description: The Enso standard library
|
2020-05-15 19:38:04 +03:00
|
|
|
- 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"
|
2021-11-08 18:45:29 +03:00
|
|
|
description: A change that will not break a public API or user-facing behaviour
|
2020-05-15 19:38:04 +03:00
|
|
|
|
2022-02-17 18:33:27 +03:00
|
|
|
- name: "CI: Ready to merge"
|
|
|
|
color: "#ffffff"
|
|
|
|
description: This PR is eligible for automatic merge
|
|
|
|
|
2020-05-15 19:38:04 +03:00
|
|
|
- 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
|
2020-05-20 14:21:52 +03:00
|
|
|
- name: "Type: RFC"
|
|
|
|
color: "#ede2fe"
|
|
|
|
description: An RFC proposing a change to Enso
|
2021-03-02 12:23:32 +03:00
|
|
|
- name: "Type: Release"
|
|
|
|
color: "#ede2fe"
|
|
|
|
description: Preparation for an Enso release
|
2020-05-20 14:21:52 +03:00
|
|
|
|
|
|
|
- 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
|
2020-05-15 19:38:04 +03:00
|
|
|
|
|
|
|
# Teams configuration
|
|
|
|
teams:
|
2020-05-18 10:50:12 +03:00
|
|
|
- name: developers
|
2020-05-18 11:06:16 +03:00
|
|
|
permission: push
|
2020-05-20 14:21:52 +03:00
|
|
|
- name: moderators
|
|
|
|
permission: maintain
|
2020-05-15 19:38:04 +03:00
|
|
|
|
|
|
|
# Branch protection
|
|
|
|
branches:
|
2021-11-01 22:44:15 +03:00
|
|
|
- name: develop
|
2020-05-15 19:38:04 +03:00
|
|
|
protection:
|
|
|
|
required_pull_request_reviews:
|
|
|
|
required_approving_review_count: 1
|
|
|
|
dismiss_stale_reviews: false
|
|
|
|
require_code_owner_reviews: true
|
|
|
|
dismissal_restrictions: {}
|
|
|
|
|
|
|
|
required_status_checks:
|
2022-02-16 11:00:42 +03:00
|
|
|
# Require branches to be up-to-date before merging.
|
2020-05-15 19:38:04 +03:00
|
|
|
strict: true
|
2020-06-29 20:24:41 +03:00
|
|
|
contexts:
|
2022-02-16 11:00:42 +03:00
|
|
|
- "Engine (Linux)"
|
|
|
|
- "Engine (Windows)"
|
|
|
|
# The macOS job is intentionally omitted.
|
2020-09-07 14:24:34 +03:00
|
|
|
- "Docs Check"
|
2020-10-28 20:12:12 +03:00
|
|
|
- "Verify Notice Package"
|
2020-07-21 15:59:40 +03:00
|
|
|
- "license/cla"
|
2022-02-16 11:00:42 +03:00
|
|
|
|
2021-11-01 22:44:15 +03:00
|
|
|
# GUI jobs
|
2022-05-24 08:24:58 +03:00
|
|
|
# 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 Project Manager (windows)"
|
|
|
|
- "Assert if CHANGELOG.md was updated (on pull request)"
|
|
|
|
- "WASM GUI tests (linux)"
|
|
|
|
- "Build Project Manager (linux)"
|
|
|
|
- "Package IDE (windows)"
|
|
|
|
- "Package IDE (linux)"
|
|
|
|
- "IDE integration tests (linux)"
|
2020-07-01 17:26:49 +03:00
|
|
|
enforce_admins: null
|
|
|
|
restrictions: null
|
2021-01-06 11:57:02 +03:00
|
|
|
- name: "release/*.x"
|
2020-07-01 17:26:49 +03:00
|
|
|
protection:
|
|
|
|
required_pull_request_reviews:
|
|
|
|
required_approving_review_count: 1
|
|
|
|
dismiss_stale_reviews: false
|
|
|
|
require_code_owner_reviews: true
|
|
|
|
dismissal_restrictions: {}
|
|
|
|
|
|
|
|
required_status_checks:
|
2022-02-16 11:00:42 +03:00
|
|
|
# Require branches to be up-to-date before merging.
|
2020-07-01 17:26:49 +03:00
|
|
|
strict: true
|
|
|
|
contexts:
|
2020-10-06 18:45:02 +03:00
|
|
|
- "Build and Test (macOS-latest)"
|
2021-03-04 19:59:05 +03:00
|
|
|
- "Build and Test (ubuntu-18.04)"
|
2020-10-06 18:45:02 +03:00
|
|
|
- "Build and Test (windows-latest)"
|
2020-09-07 14:24:34 +03:00
|
|
|
- "Docs Check"
|
2020-07-21 15:59:40 +03:00
|
|
|
- "Build Engine"
|
|
|
|
- "Rust Check"
|
|
|
|
- "Rust Lint"
|
|
|
|
- "Rust Test Native (macOS-latest)"
|
|
|
|
- "Rust Test Native (ubuntu-latest)"
|
|
|
|
- "Rust Test Native (windows-latest)"
|
|
|
|
- "Rust Test WASM"
|
2020-10-28 20:12:12 +03:00
|
|
|
- "Verify Notice Package"
|
2020-07-21 15:59:40 +03:00
|
|
|
- "license/cla"
|
2020-10-22 17:12:28 +03:00
|
|
|
# - "Vulnerability Scan" # CodeQL is temporarily disabled due to incompatibility
|
2020-05-15 19:38:04 +03:00
|
|
|
enforce_admins: null
|
|
|
|
restrictions: null
|