3 ms·
You may take a page from FFmpeg: https://github.com/FFmpeg/FFmpeg/pulls https://github.com/FFmpeg/FFmpeg/pulls (although currently open PRs probably need to be
by oefrha 6y ago
You may take a page from FFmpeg: https://github.com/FFmpeg/FFmpeg/pulls https://github.com/FFmpeg/FFmpeg/pulls (although currently open PRs probably need to be closed somehow for that to be effective).
- coldpie 6y agoApparently that doesn't work much better: https://github.com/FFmpeg/FFmpeg/pulls?q=is%3Apr+is%3Aclosed https://github.com/FFmpeg/FFmpeg/pulls?q=is%3Apr+is%3Aclosed Regardless, it's kind of crappy that we have to clean up after GitHub's mess.