Check if git maintenance is active? How can I know whether I have already ran git maintenance start (doc) on a git repository?