epriestley caa6fdf56d Add a basic push log for recording repository push events ... Summary: Ref T4195. This log serves two purposes: - It's a log, so you can see what happened. Particularly, in Git/Hg, there is no other way to tell: - Who //pushed// a change (vs committed / authored)? - When was a change pushed? - What was the old value of some tag/branch before someone destroyed it? - We can hand these objects off to Herald to implement pre-commit rules. This is a very basic implementation, but gets some data written and has a basic UI for it. Test Plan: {F87339} Reviewers: btrahan Reviewed By: btrahan CC: aran Maniphest Tasks: T4195 Differential Revision: https://secure.phabricator.com/D7705		2013-12-05 11:56:14 -08:00
..
patches	Add a basic push log for recording repository push events	2013-12-05 11:56:14 -08:00
quickstart.sql	Kill some PhutilSafeHTML	2013-02-07 18:01:01 -08:00