Skip to content

Add DNS entry for agents portal#589

Merged
jchristgit merged 1 commit intomainfrom
agents-portal
May 10, 2025
Merged

Add DNS entry for agents portal#589
jchristgit merged 1 commit intomainfrom
agents-portal

Conversation

@jchristgit
Copy link
Member

This will be the entry point for Python Discord agents in the field.

This will be the entry point for Python Discord agents in the field.
@jchristgit jchristgit requested a review from jb3 as a code owner May 1, 2025 17:20
@github-actions github-actions bot added the group: dns Issues and pull requests related to our DNS infrastructure. label May 1, 2025
@github-actions
Copy link

github-actions bot commented May 1, 2025

OctoDNS Plan for agents-portal

pydis.wtf.

cloudflare

Operation Name Type TTL Value Source
Delete _acme-challenge TXT 120 Xs39smNDt5DShtW6L7XVkbtB70K0Bu6vJrPlXeHgUvc
Create agents CNAME 300 lovelace.box.pydis.wtf. zone_config

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

@jchristgit jchristgit requested a review from ChrisLovering May 4, 2025 17:15
@jchristgit jchristgit moved this from Up next to Needs Review in Infrastructure May 4, 2025
@jchristgit jchristgit added this to the SIGINT Infrastructure milestone May 4, 2025
@jchristgit jchristgit requested a review from Xithrius May 7, 2025 18:19
@jchristgit jchristgit merged commit 1a1e51a into main May 10, 2025
9 checks passed
@jchristgit jchristgit deleted the agents-portal branch May 10, 2025 05:28
@github-project-automation github-project-automation bot moved this from Needs Review to Done in Infrastructure May 10, 2025
@github-actions
Copy link

Thanks!

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

Labels

group: dns Issues and pull requests related to our DNS infrastructure.

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

2 participants