Fixes #1798 : Home page UI layout broken on mobile viewports & duplicate hamburger menus #1683
This file contains hidden or 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
| name: Close Stale PRs | |
| on: | |
| schedule: | |
| - cron: '0 0 * * *' # Runs daily at midnight | |
| pull_request: | |
| types: | |
| - opened | |
| - reopened | |
| - synchronize | |
| permissions: | |
| pull-requests: write | |
| issues: write | |
| jobs: | |
| close_stale_prs: | |
| runs-on: ubuntu-latest | |
| permissions: | |
| pull-requests: write | |
| steps: | |
| - uses: actions/stale@v7 | |
| with: | |
| repo-token: ${{ secrets.GITHUB_TOKEN }} | |
| stale-pr-message: 'This PR has been automatically closed due to inactivity from the owner for 15 days.' | |
| days-before-pr-stale: 15 | |
| days-before-pr-close: 0 | |
| exempt-pr-author: false | |
| exempt-pr-labels: '' | |
| only-labels: '' | |
| operations-per-run: 30 | |
| remove-stale-when-updated: true | |
| debug-only: false |