Skip to content

Kill the GitHub filter worker#207

Merged
shtlrs merged 1 commit intomainfrom
kill-github-filter-worker
Dec 11, 2023
Merged

Kill the GitHub filter worker#207
shtlrs merged 1 commit intomainfrom
kill-github-filter-worker

Conversation

@jchristgit
Copy link
Copy Markdown
Contributor

This has been implemented in the site now, see python-discord/site#1164. Removing the deploy from the Cloudflare platform has to be done separately.

This has been implemented in the site now, see python-discord/site#1164.
Removing the deploy from the Cloudflare platform has to be done
separately.
@shtlrs shtlrs added this pull request to the merge queue Dec 11, 2023
@shtlrs shtlrs removed this pull request from the merge queue due to a manual request Dec 11, 2023
@shtlrs
Copy link
Copy Markdown
Contributor

shtlrs commented Dec 11, 2023

Merging this now, it's fine if the worker is still deployed as it won't get any further requests from github since it's been replaced.

@shtlrs shtlrs added this pull request to the merge queue Dec 11, 2023
Merged via the queue into main with commit 7310873 Dec 11, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants