Switch to an active repo for minibufexpl