Ævar Arnfjörð Bjarmason <avarab@xxxxxxxxx> writes: > On Thu, Aug 30 2018, Ævar Arnfjörð Bjarmason wrote: > > [Notes to self] > ... > > Later below this we say: > > Pushing an empty <src> allows you to delete the <dst> ref from the > remote repository. > > Which, perhaps given the discussion of deletions as updates, should be > mentioned earlier in some way, i.e. should we just say above all these > rules that by "update" we mean non-deletions? You raised good points. The rule that applies to deletion is quite different from the one for update, we want to make sure readers know updates and deletions are different. As the rule for deletion is a lot simpler (i.e. you can always delete unless a configuration or pre-receive says otherwise), perhaps it would be sufficient to give the rules for deletion upfront in one section, and then start the section(s) for update with a phrase like "rules for accepting updates are follows" after that.
