Skip to content

main to live - 7/3/25 #3497

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

Merged
merged 1 commit into from
Jul 7, 2025
Merged

main to live - 7/3/25 #3497

merged 1 commit into from
Jul 7, 2025

Conversation

captainbrosset
Copy link
Contributor

* multi redir files

* redir dir

* move redir dir

* re-populate redir files from "main"

* try 6 spaces before ] like main

* move redir files to root

* trim excess leading spaces

* move devtools redir file into /redirects/

* move devtools redir file to root

* move pwa redir

* move redir files to dir, relative path

* readme
Copy link
Collaborator

@mikehoffms mikehoffms left a comment

Choose a reason for hiding this comment

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

LGTM - Content Developer

@mikehoffms mikehoffms added the cat: general General content. label Jul 3, 2025
@captainbrosset captainbrosset merged commit df58017 into live Jul 7, 2025
2 of 6 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
cat: general General content.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants