Revert "Deprecates RUN_THIS.py in favor of manually doin' it (#3930)" (#3933)

This reverts commit 94082e07a7.
2021-05-05 14:30:46 +02:00
parent 94082e07a7
commit ce67371b12
7 changed files with 175 additions and 3 deletions
--- a/BuildChecker/hooks/post-merge
+++ b/BuildChecker/hooks/post-merge
@@ -0,0 +1,5 @@
+#!/bin/bash
+
+# Just call post-checkout since it does the same thing.
+gitroot=`git rev-parse --show-toplevel`
+bash "$gitroot/.git/hooks/post-checkout"