Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Added docs.instructlab.ai #4

Merged
merged 1 commit into from
Aug 30, 2024

Conversation

jjasghar
Copy link
Member

Added the new mkdocs site for docs.instructlab.ai

Added the new mkdocs site for docs.instructlab.ai

Signed-off-by: JJ Asghar <[email protected]>
@@ -43,5 +43,11 @@ google._domainkey IN TXT "nWDWqwcNuDNrSiowi1QYQO1V3pcfpCKZCpO
google._domainkey IN TXT "j7ZQIEZKuZDSyGwogEV7m3SuFNUIMFVoHrdNNGhN+pFjB+P9Cnw30V01k51l7zm3C5HRsa3rQsfg/oc3xBEk9nzvIJVOf3wIDAQAB"

qa.ui IN CNAME qa-ui-instructlab-ai-0e3e0ef4c9c6d831e8aa6fe01f33bfc4-0000.us-south.containers.appdomain.cloud.


docs IN A 185.199.108.153
Copy link
Collaborator

Choose a reason for hiding this comment

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

So, why use A/AAAA record and not a CNAME ? It seems it would be more future proof in case the underlying IP change (or if Github add a IP).

Copy link
Collaborator

@mscherer mscherer left a comment

Choose a reason for hiding this comment

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

approved after discussion on slack

@jjasghar jjasghar merged commit 8a54ee3 into instructlab:main Aug 30, 2024
2 of 3 checks passed
@jjasghar jjasghar deleted the jjasghar/docs.instruct branch August 30, 2024 13:52
@mscherer
Copy link
Collaborator

@jjasghar This failed to deploy, as the serial wasn't updated.

Sorry, I forgot to check that part as I configured my personal DNS server do that automatically.

jjasghar added a commit to jjasghar/dns-zones that referenced this pull request Aug 30, 2024
Need to bump the serial for the update of the zone.

Signed-off-by: JJ Asghar <[email protected]>
jjasghar added a commit that referenced this pull request Aug 30, 2024
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