Finding the current tip…

If nothing happens, the tip is listed in the root repo's STATUS.txt.