#! /bin/bash

$0.cln "$@" &&

echo all revs cleaned up, awaiting manual check results... &&

$0.pub "$@" &&

echo all git tagging done, now compressing... &&

$0.rel "$@"

exit