Skip to content

Remove scheduled merge workflow remnants #496

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
Frichetten merged 1 commit into from
Feb 5, 2026
Merged

Remove scheduled merge workflow remnants #496

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
96 changes: 0 additions & 96 deletions .github/scripts/parse_schedule.py
View file
Open in desktop

This file was deleted.

28 changes: 0 additions & 28 deletions CONTRIBUTING.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -30,34 +30,6 @@ docker run --rm -it -p 8000:8000 -v ${PWD}:/docs mkdocs-material

__NOTE__: You do not have to run the Docker container to contribute. You can make edits or even create new pages directly from GitHub. Go to the file you'd like to edit, or the directory you'd like to add to and click "Add File" in the mid-top right. Use the Markdown editor built into GitHub and submit your Pull Request.

## Scheduled Merges (Publishing at a Specific Time)

If you want your PR to merge at a specific time (so it deploys on schedule), leave a PR comment with:

```
/schedule-merge YYYY-MM-DD HH:MM CT
```

Example:

```
/schedule-merge 2026-01-28 09:00 CT
```

To cancel a scheduled merge, comment:

```
/unschedule-merge
```

Notes:
- Times are interpreted as Central Time (America/Chicago, including daylight saving time).
- Merges are processed every 5 minutes, so the actual merge may occur up to 5 minutes after the scheduled time.
- Only maintainers with write/maintain/admin permissions can schedule or cancel a merge.
- Schedules must be within 30 days from the current date.
- To reschedule, comment again with a new time; the latest schedule wins.
- If the merge fails (checks/merge conflicts), the schedule is cleared and you can fix the PR and reschedule.

## Using Cards

If you'd like to use a card, for [example](https://hackingthe.cloud/aws/post_exploitation/create_a_console_session_from_iam_credentials/) `Technique seen in the wild`, `Tools mentioned in this article`, etc, __please be aware that you would need a subscription for [Material for MKDocs](https://squidfunk.github.io/mkdocs-material/reference/grids/#using-card-grids) for the cards to be properly displayed on your local machine__. Simply copy and paste the template from the options below and it will be properly rendered on the site (we have a subscription to Material for MKDocs).
Expand Down