chiark / gitweb /
rename upload_hash to lastpush_hash
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 11 Sep 2013 20:42:23 +0000 (21:42 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 11 Sep 2013 20:42:23 +0000 (21:42 +0100)
commit7c57131ff6c444187b09ed9be5b58e5c0112a5e2
treed658eb9711494a81c5ed1b9714ffbdbf794dac99
parent5ad34fce01890d99797726ee0f67bb87d13f79ab
rename upload_hash to lastpush_hash
dgit