Merge branch 'master' into master

This commit is contained in:
MrBrain295
2022-02-06 12:57:20 -06:00
committed by GitHub
2 changed files with 26 additions and 0 deletions

25
.github/workflows/stale.yml vendored Normal file
View File

@@ -0,0 +1,25 @@
# This workflow warns and then closes issues and PRs that have had no activity for a specified amount of time.
#
# You can adjust the behavior by modifying this file.
# For more information, see:
# https://github.com/actions/stale
name: Mark stale issues and pull requests
on:
schedule:
- cron: '43 1 * * *'
jobs:
stale:
runs-on: ubuntu-latest
permissions:
issues: write
pull-requests: write
steps:
- uses: actions/stale@v3
with:
repo-token: ${{ secrets.GITHUB_TOKEN }}
stale-issue-message: "This looks stale!"
stale-pr-message: "This looks stale!"

View File

@@ -627,6 +627,7 @@ Make sure to see [contributing.md](/contributing.md) for instructions on contrib
* [OX](o/OX.oz) * [OX](o/OX.oz)
* [Oxygene](o/Oxygene.pas) * [Oxygene](o/Oxygene.pas)
* [o:XML](o/o%CB%B8XML) * [o:XML](o/o%CB%B8XML)
* [Org-mode](o/Org-mode.org)
* [Parenthetic](p/Parenthetic.p) * [Parenthetic](p/Parenthetic.p)
* [Parser](p/Parser.p) * [Parser](p/Parser.p)
* [Pascal](p/Pascal.p) * [Pascal](p/Pascal.p)