239b08c5 — M Fix git toplevel folder in push function; git log and git pull could maybe simplified in the same way push now works, without using multiple ifs and the up env var; to check later. 6 months ago