scratch repo: proves push, stagit and dumb-HTTP clone