2021-07-01 16:45:56 -04:00
|
|
|
# These settings are synced to GitHub by https://probot.github.io/apps/settings/
|
|
|
|
|
|
|
|
repository:
|
2023-08-14 16:06:53 -04:00
|
|
|
description: "Source code spell checker"
|
|
|
|
topics: "rust cli code-quality spell-checker"
|
2021-07-01 16:45:56 -04:00
|
|
|
has_issues: true
|
|
|
|
has_projects: false
|
2023-11-22 21:35:28 -05:00
|
|
|
has_wiki: true
|
2021-07-01 16:45:56 -04:00
|
|
|
has_downloads: true
|
|
|
|
default_branch: master
|
|
|
|
|
2023-04-17 21:13:36 -04:00
|
|
|
# Preference: people do clean commits
|
2021-07-01 16:45:56 -04:00
|
|
|
allow_merge_commit: true
|
2023-04-17 21:13:36 -04:00
|
|
|
# Backup in case we need to clean up commits
|
|
|
|
allow_squash_merge: true
|
|
|
|
# Not really needed
|
|
|
|
allow_rebase_merge: false
|
2021-07-01 16:45:56 -04:00
|
|
|
|
2023-03-29 15:33:22 -04:00
|
|
|
allow_auto_merge: true
|
2021-07-01 16:45:56 -04:00
|
|
|
delete_branch_on_merge: true
|
|
|
|
|
2023-03-29 15:33:22 -04:00
|
|
|
squash_merge_commit_title: "PR_TITLE"
|
|
|
|
squash_merge_commit_message: "PR_BODY"
|
|
|
|
merge_commit_message: "PR_BODY"
|
|
|
|
|
2021-07-01 16:45:56 -04:00
|
|
|
labels:
|
|
|
|
# Type
|
|
|
|
- name: bug
|
|
|
|
color: '#b60205'
|
2023-03-29 15:41:29 -04:00
|
|
|
description: "Not as expected"
|
2021-07-01 16:45:56 -04:00
|
|
|
- name: enhancement
|
|
|
|
color: '#1d76db'
|
2023-03-29 15:41:29 -04:00
|
|
|
description: "Improve the expected"
|
2021-07-01 16:45:56 -04:00
|
|
|
# Flavor
|
|
|
|
- name: question
|
|
|
|
color: "#cc317c"
|
2023-03-29 15:41:29 -04:00
|
|
|
description: "Uncertainty is involved"
|
2021-07-01 16:45:56 -04:00
|
|
|
- name: breaking-change
|
|
|
|
color: "#e99695"
|
|
|
|
- name: good first issue
|
|
|
|
color: '#c2e0c6'
|
2023-03-29 15:41:29 -04:00
|
|
|
description: "Help wanted!"
|
2021-07-01 16:45:56 -04:00
|
|
|
|
|
|
|
branches:
|
|
|
|
- name: master
|
|
|
|
protection:
|
2021-08-16 12:23:25 -04:00
|
|
|
required_pull_request_reviews: null
|
|
|
|
required_conversation_resolution: true
|
2021-07-01 16:45:56 -04:00
|
|
|
required_status_checks:
|
|
|
|
# Required. Require branches to be up to date before merging.
|
2021-07-07 16:37:10 -04:00
|
|
|
strict: false
|
2021-08-16 12:23:25 -04:00
|
|
|
contexts: ["CI", "Lint Commits", "Spell Check with Typos"]
|
|
|
|
enforce_admins: false
|
|
|
|
restrictions: null
|