I use videos a lot in PRs and issues and always have to convert them to GIFs before it’d allow uploading them. I don’t see an official announcement, but I have a banner on GitHub saying that MP4 is now a supported attachment type 🎉