Skip to content

Deploy cgit on turing#655

Merged
pydis-ff-bot[bot] merged 7 commits into
mainfrom
turing-cgit
May 25, 2026
Merged

Deploy cgit on turing#655
pydis-ff-bot[bot] merged 7 commits into
mainfrom
turing-cgit

Conversation

@jchristgit
Copy link
Copy Markdown
Contributor

@jchristgit jchristgit commented May 8, 2026

This adds cgit hosting, including regular mirror updates, to turing. It is live at https://beta.git.pydis.wtf/.

@jchristgit jchristgit self-assigned this May 8, 2026
@jchristgit jchristgit requested a review from jb3 May 8, 2026 21:19
@github-actions github-actions Bot added the group: dns Issues and pull requests related to our DNS infrastructure. label May 8, 2026
@github-actions
Copy link
Copy Markdown

github-actions Bot commented May 8, 2026

OctoDNS Plan for turing-cgit

pydis.wtf.

cloudflare

Operation Name Type TTL Value Source
Delete beta.git CNAME 300 turing.box.pydis.wtf.
Update git CNAME 300 lovelace.box.pydis.wtf.
300 turing.box.pydis.wtf. zone_config

Summary: Creates=0, Updates=1, Deletes=1, Existing=50, Meta=False

@jchristgit jchristgit marked this pull request as ready for review May 23, 2026 06:32
@python-discord-policy-bot python-discord-policy-bot Bot requested a review from a team May 23, 2026 06:32
@jchristgit jchristgit changed the title turing cgit Deploy cgit on turing May 23, 2026
@github-project-automation github-project-automation Bot moved this from Up next to In Progress in Infrastructure May 23, 2026
@jchristgit
Copy link
Copy Markdown
Contributor Author

@jb3 any further comments?

Copy link
Copy Markdown
Member

@jb3 jb3 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Nothing from me.

Do you want to:

  • tear down the cgit Ansible role & associated files on Lovelace
  • Update the DNS to have the git subdomain point to a CNAME of turing.box.pydis.wtf

@github-actions github-actions Bot added the group: ansible Issues and pull requests related to the Ansible setup label May 25, 2026
@jchristgit
Copy link
Copy Markdown
Contributor Author

jchristgit commented May 25, 2026 via email

@jb3
Copy link
Copy Markdown
Member

jb3 commented May 25, 2026

/merge

@pydis-ff-bot
Copy link
Copy Markdown

pydis-ff-bot Bot commented May 25, 2026

❌ Branch is in diverged status, ahead by 7 commits and behind by 20 commits. Please update the branch to reflect changes on main and try again, or merge locally.

@jb3
Copy link
Copy Markdown
Member

jb3 commented May 25, 2026

😱

@jb3
Copy link
Copy Markdown
Member

jb3 commented May 25, 2026

/merge

@pydis-ff-bot
Copy link
Copy Markdown

pydis-ff-bot Bot commented May 25, 2026

✅ Successfully fast-forwarded commits from python-discord:turing-cgit onto main

@pydis-ff-bot pydis-ff-bot Bot merged commit 5063a8a into main May 25, 2026
10 checks passed
@pydis-ff-bot pydis-ff-bot Bot deleted the turing-cgit branch May 25, 2026 19:57
@pydis-ff-bot pydis-ff-bot Bot deployed to production May 25, 2026 19:57 Active
@github-project-automation github-project-automation Bot moved this from In Progress to Done in Infrastructure May 25, 2026
@github-actions
Copy link
Copy Markdown

Thanks!

@jchristgit
Copy link
Copy Markdown
Contributor Author

jchristgit commented May 26, 2026 via email

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

group: ansible Issues and pull requests related to the Ansible setup group: dns Issues and pull requests related to our DNS infrastructure.

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

3 participants