diff options
| author | Michael Kaye <1917473+michaelkaye@users.noreply.github.com> | 2018-09-27 11:44:21 +0100 |
|---|---|---|
| committer | Michael Kaye <1917473+michaelkaye@users.noreply.github.com> | 2018-09-27 12:01:41 +0100 |
| commit | 8607397ea763cedaafe51124063504436a268fa9 (patch) | |
| tree | bf6d18b8f812f18d2bdbf47d8eccc44e7aeee1b8 /.gitignore | |
| parent | Also, don't run this job on any branches (diff) | |
| download | synapse-8607397ea763cedaafe51124063504436a268fa9.tar.xz | |
Make a ":latest" tag, and a SHA1 commit ID one too.
Latest is horrible and makes debugging what has happened anywhere a nightmare. We push a latest because of demand for it, but we'll also push a SHA1 commit id so those wanting to know what they're running (and be able to roll back if required) can use those instead. Note that latest here is defined as "most recent master commit" not "most recent released version", as the actual semantics of making latest correct while still being able to build bugfixed releases of previous versions is just ARGH. So we define it as "master" not "latest release".
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions