Skip to content

chore: ignore video files - #17

Merged
nerdalert merged 1 commit into
praxis-proxy:mainfrom
nerdalert:fix/ignore-video-files
Aug 29, 2026
Merged

chore: ignore video files#17
nerdalert merged 1 commit into
praxis-proxy:mainfrom
nerdalert:fix/ignore-video-files

Conversation

@nerdalert

Copy link
Copy Markdown
Member

Summary

Add repository-wide ignore rules for common video formats:

  • .mp4
  • .avi
  • .webm

This prevents demo recordings from being accidentally added to the repository (which I managed to do 😵‍💫).

Validation

  • git diff --check — passed
  • Verified all three extensions are ignored by Git.

Breaking changes

None.

Only .gitignore was committed. The existing README modification was left untouched.

Signed-off-by: Brent Salisbury <bsalisbu@redhat.com>
@nerdalert
nerdalert merged commit a6ae2ed into praxis-proxy:main Aug 29, 2026
16 checks passed
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.

1 participant