Extensions by sonzqn

GitHub Video Player

🧑‍💻 Developer Tools

Render external video links (webm, mp4, mov) as inline players on GitHub PR pages