Yes to both, though I don't know how to enforce it. (A push hook would do.)

		wizzwizz4 on July 3, 2021 \| parent \| context \| favorite \| on: Things I wish Git had: Commit groups Yes to both, though I don't know how to enforce it. (A push hook would do.)