diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2022-09-03 21:14:56 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2022-09-04 11:53:20 +0100 |
commit | 5956c5a42e542cf4a81cda34722263dcd06b0f04 (patch) | |
tree | e512b2875d79c57dbc69c77f560382d6989b707b /tests/tests/quilt | |
parent | 615d3bcd66f597cbce84c746ce6862e0e173e8ce (diff) |
dgit push-*: Provide push-built; make push be an alias
No overall chagne in behaviour since in this commit the default
configuration is "built".
However, the documentation already anticipates the change to add the
warning.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'tests/tests/quilt')
0 files changed, 0 insertions, 0 deletions