On Fri, Aug 31, 2018 at 6:24 PM Junio C Hamano <gitster@xxxxxxxxx> wrote: > > Æ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. Yeah, that was the plan. I'll do that.
