-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
Showing
17 changed files
with
224 additions
and
114 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,24 @@ | ||
name: Lock closed threads | ||
# https://github.com/marketplace/actions/lock-threads | ||
|
||
on: | ||
schedule: | ||
- cron: "0 6 * * 2" | ||
workflow_dispatch: | ||
|
||
permissions: | ||
issues: write | ||
pull-requests: write | ||
|
||
concurrency: | ||
group: lock | ||
|
||
jobs: | ||
lock: | ||
runs-on: ubuntu-latest | ||
steps: | ||
- uses: dessant/lock-threads@v5 | ||
with: | ||
process-only: issues, prs | ||
issue-inactive-days: "90" | ||
pr-inactive-days: "30" |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,70 @@ | ||
name: "Lint PR" | ||
|
||
on: | ||
pull_request_target: | ||
types: | ||
- opened | ||
- edited | ||
- synchronize | ||
|
||
permissions: | ||
pull-requests: write | ||
|
||
jobs: | ||
main: | ||
name: validate PR title | ||
runs-on: ubuntu-latest | ||
steps: | ||
- uses: amannn/action-semantic-pull-request@v5 | ||
id: lint_pr_title | ||
env: | ||
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} | ||
with: | ||
|
||
# Configure additional validation for the subject based on a regex. | ||
# We enforce that the subject starts with an uppercase character. | ||
subjectPattern: ^([A-Z]).+$ | ||
|
||
# If `subjectPattern` is configured, you can use this property to override | ||
# the default error message that is shown when the pattern doesn't match. | ||
# The variables `subject` and `title` can be used within the message. | ||
subjectPatternError: > | ||
The subject "**{subject}**" found in the pull request title "*{title}*" | ||
didn't match the configured pattern. Please ensure that the subject | ||
starts with an uppercase character. | ||
# If the PR contains one of these newline-delimited labels, the | ||
# validation is skipped. If you want to rerun the validation when | ||
# labels change, you might want to use the `labeled` and `unlabeled` | ||
# event triggers in your workflow. | ||
ignoreLabels: | | ||
bot | ||
ignore-semantic-pull-request | ||
- uses: marocchino/sticky-pull-request-comment@v2 | ||
# When the previous steps fails, the workflow would stop. By adding this | ||
# condition you can continue the execution with the populated error message. | ||
if: always() && (steps.lint_pr_title.outputs.error_message != null) | ||
with: | ||
header: pr-title-lint-error | ||
message: > | ||
### Hey there and thank you for opening this pull request! 👋🏼 | ||
It looks like your proposed **_Pull request title_** needs to be adjusted. | ||
>🚩 **Error** » ${{ steps.lint_pr_title.outputs.error_message }} | ||
#### Pull request title naming convention | ||
Our PR title name taxonomy is `type: Subject`, where **type** is typically | ||
*feat*, *fix*, or *chore*, and **subject** is a phrase (proper noun) that starts with a capitalized letter. | ||
The *chore* type usually has a subject that starts with an action verb like *Add* or *Update*. | ||
Examples: `feat: Admin portal login`, `fix: Divide by zero bug in SMA`, and `chore: Update user docs`. | ||
See the [Conventional Commits specification](https://www.conventionalcommits.org) for more information. | ||
# Delete a previous comment when the issue has been resolved | ||
- if: ${{ steps.lint_pr_title.outputs.error_message == null }} | ||
uses: marocchino/sticky-pull-request-comment@v2 | ||
with: | ||
header: pr-title-lint-error | ||
delete: true |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,56 @@ | ||
<script defer> | ||
|
||
document.addEventListener("DOMContentLoaded", startup); | ||
|
||
function startup() { | ||
|
||
document.addEventListener( | ||
"touchmove", removeSplashNav, { passive: true, once: true }); | ||
|
||
document.addEventListener( | ||
"wheel", removeSplashNav, { passive: true, once: true }); | ||
} | ||
|
||
// homepage: remove navigation, fixed splash size | ||
function removeSplashNav() { | ||
|
||
// hide obsolete arrow navigation | ||
var arrowElement = document.getElementById('splash-nav'); | ||
arrowElement.style.visibility = 'hidden'; | ||
|
||
// fixed splash size to avoid resizing with iOS menu | ||
var splashElement = document.getElementById('splash'); | ||
splashElement.style.height = splashElement.offsetHeight + 'px'; | ||
|
||
// show the rest of the page | ||
var aboutElement = document.getElementById('about-us'); | ||
aboutElement.style.display = "block"; | ||
|
||
// do the scroll if directed | ||
if (event != null && event.type == "wheel") { | ||
window.scrollBy(0, event.deltaY); | ||
} | ||
|
||
if (event != null && event.type == "touchmove") { | ||
window.scrollBy(0, event.changedTouches[0].deltaY); | ||
} | ||
|
||
// remove obsolete event listeners | ||
document.removeEventListener("touchstart", removeSplashNav); | ||
document.removeEventListener("wheel", removeSplashNav); | ||
} | ||
|
||
// homepage: scroll to about | ||
function handleSplashNavClick() { | ||
|
||
// scroll to about section | ||
setTimeout(function () { | ||
|
||
removeSplashNav(); | ||
|
||
// scroll to about information | ||
var aboutElement = document.getElementById('about-us'); | ||
aboutElement.scrollIntoView({ behavior: 'smooth', block: 'start', inline: 'nearest' }); | ||
}, 200); | ||
} | ||
</script> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file was deleted.
Oops, something went wrong.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.