19620-SkySkimmer-push-context-strict.sh

overlay elpi https://github.com/SkySkimmer/coq-elpi push-context-strict 19620

overlay equations https://github.com/SkySkimmer/Coq-Equations push-context-strict 19620

overlay metacoq https://github.com/SkySkimmer/metacoq push-context-strict 19620

overlay lean_importer https://github.com/SkySkimmer/coq-lean-import push-context-strict 19620

overlay mtac2 https://github.com/SkySkimmer/Mtac2 push-context-strict 19620

overlay rewriter https://github.com/SkySkimmer/rewriter push-context-strict 19620

overlay waterproof https://github.com/SkySkimmer/coq-waterproof push-context-strict 19620