chiark / gitweb /
~ianmdlvl / dgit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c1e9b51) | patch
Push replay prevention protocol: Rename "supersedes" to "previously", as not necessar...
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 31 May 2015 16:04:44 +0000 (17:04 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 31 May 2015 16:04:44 +0000 (17:04 +0100)
commit013cc5ea30f13c2ea3be8851a34efe7fd6af2eae
tree19418a4b57e5c39efb717bf83c94593cde71fb8ctree | snapshot
parentc1e9b51c128cde4b5359618c28405981d690127ecommit | diff
Push replay prevention protocol: Rename "supersedes" to "previously", as not necessarily actually superseded
dgit diff | blob | history
infra/dgit-repos-server diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.