Skip to content

Deploy cgit on turing - #655

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

pydis-ff-bot[bot] merged 7 commits into
mainfrom
turing-cgit

Conversation

@jchristgit

@jchristgit jchristgit commented May 8, 2026 •

Copy link
Copy Markdown
Contributor

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

github-actions Bot commented May 8, 2026 •

Copy link
Copy Markdown

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?

@jb3 jb3 left a comment

Copy link
Copy Markdown
Member

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

jchristgit commented May 25, 2026 via email

Copy link
Copy Markdown
Contributor Author

@jb3

jb3 commented May 25, 2026

Copy link
Copy Markdown
Member

/merge

@pydis-ff-bot

pydis-ff-bot Bot commented May 25, 2026

Copy link
Copy Markdown

❌ 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

jb3 commented May 25, 2026

Copy link
Copy Markdown
Member

😱

@jb3

jb3 commented May 25, 2026

Copy link
Copy Markdown
Member

/merge

@pydis-ff-bot

pydis-ff-bot Bot commented May 25, 2026

Copy link
Copy Markdown

✅ 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
@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

jchristgit commented May 26, 2026 via email

Copy link
Copy Markdown
Contributor Author

This branch was previously deployed

2 inactive deployments
github-pages — 5063a8ad Deployed May 25, 2026 by pydis-ff-bot[bot] via deploy #527
production — 5063a8ad Deployed May 25, 2026 by pydis-ff-bot[bot] via Sync latest changes to DNS providers #224
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