Skip to content

REPO_TOKEN is no more.#132

Merged
Xithrius merged 1 commit into
mainfrom
repo-token-remove
Oct 13, 2022
Merged

REPO_TOKEN is no more.#132
Xithrius merged 1 commit into
mainfrom
repo-token-remove

Conversation

@Xithrius
Copy link
Copy Markdown
Contributor

Solves part of python-discord/kubernetes#140, since the repository is now public.

@Xithrius Xithrius added priority: low type: enhancement Changes or improvements to existing features labels Oct 12, 2022
@Xithrius Xithrius enabled auto-merge October 12, 2022 22:50
@Xithrius Xithrius merged commit 636dc82 into main Oct 13, 2022
@Xithrius Xithrius deleted the repo-token-remove branch October 13, 2022 12:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

priority: low type: enhancement Changes or improvements to existing features

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants