Skip to content

Move blogs#106

Merged
dhalperi merged 4 commits intomasterfrom
move-blogs
Dec 18, 2023
Merged

Move blogs#106
dhalperi merged 4 commits intomasterfrom
move-blogs

Conversation

@ratulm
Copy link
Copy Markdown
Member

@ratulm ratulm commented Dec 18, 2023

A big commit in preparation for shutting down intentionet.com.

  • Moves all intentionet.com blogs to this site (under blogs.html) except for the AWS trial blog.
  • Removed the site-banner on top about Intentionet joining AWS. Acknowledged that in project history.
  • Removed some unused files.

@batfish-bot
Copy link
Copy Markdown

This change is Reviewable

@ratulm ratulm requested review from arifogel and dhalperi December 18, 2023 09:01
Copy link
Copy Markdown
Member

@dhalperi dhalperi left a comment

Choose a reason for hiding this comment

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

:lgtm:

Reviewed 103 of 105 files at r1, 2 of 2 files at r2, all commit messages.
Reviewable status: :shipit: complete! all files reviewed, all discussions resolved (waiting on @arifogel)

@dhalperi dhalperi merged commit 9cbe00c into master Dec 18, 2023
@dhalperi dhalperi deleted the move-blogs branch December 18, 2023 16:40
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.

3 participants