Skip to content

Remove index.html again#343

Merged
mozfreddyb merged 1 commit intoWICG:mainfrom
evilpie:remove-index.html
Oct 27, 2025
Merged

Remove index.html again#343
mozfreddyb merged 1 commit intoWICG:mainfrom
evilpie:remove-index.html

Conversation

@evilpie
Copy link
Collaborator

@evilpie evilpie commented Oct 20, 2025

Not sure why we don't have index.html in .gitignore...

@otherdaniel otherdaniel self-requested a review October 27, 2025 12:32
@mozfreddyb mozfreddyb merged commit 8bcf166 into WICG:main Oct 27, 2025
2 checks passed
github-actions bot added a commit that referenced this pull request Oct 27, 2025
SHA: 8bcf166
Reason: push, by mozfreddyb

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
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.

4 participants