Disable post-merge CI for the time being?
Background: https://lists.freedesktop.org/archives/gstreamer-devel/2020-February/074241.html (cross-posted, there might be more on the mesa/xorg lists)
Disabling post-merge CI would quickly reduce load + resource usage a little. We could set up scheduled builds for master instead.
Means we might not immediately catch issues where MRs that depend on other MRs in other repos are merged out of order, but if that happens we'll notice quickly enough via build failures or pre-merge CI in other MRs failing.
I think the pre-merge CI is the more important part.
Discussions about other ways to optimise artifact download etc. etc. should probably go into a separate issue :)