mirror of
https://github.com/baldurk/renderdoc.git
synced 2026-08-09 16:21:03 +00:00
baldurk
ad35a251b0
* The previous ignoring of the top commit was to avoid badly-written merge commits added by github, we want to continue doing that for PRs but check all commits on push as a safety measure.