Commit graph

8 commits

Author SHA1 Message Date
Vincent Ambo
4bbbb58cb5 chore: Rename pkgs->depot in all Nix file headers 2020-02-21 13:54:53 +00:00
Vincent Ambo
d9316cfbee chore(third_party/git): Remove sha1collisiondetection submodule
This is not required and confuses git on clones.
2020-01-18 11:36:03 +00:00
Vincent Ambo
93cc05d363 feat(third_party/git): Add derivation to build git
This overrides the upstream derivation to:

* use local sources
* build `git send-email`

It also calls autoreconf before building because files that are
included in the git distribution tarball (which the normal derivation
uses) are missing from source.
2020-01-12 01:55:23 +00:00
Vincent Ambo
8082d87da3 feat(third_party/git/date): add "dottime" format
Adds dottime (as defined on https://dotti.me) as a timestamp format.

This format is designed to simplify working with timestamps across
many different timezones by keeping the timestamp format itself in
UTC (and indicating this with a dot character), but appending the
local offset.

This is implemented as a new format because the timestamp needs to be
rendered both as UTC and including the offset, an implementation using
a strftime formatting string is not sufficient.
2020-01-11 23:43:50 +00:00
Vincent Ambo
7ef0d62730 merge(third_party/git): Merge squashed git subtree at v2.23.0
Merge commit '1b593e1ea4d2af0f6444d9a7788d5d99abd6fde5' as 'third_party/git'
2020-01-11 23:40:29 +00:00
Vincent Ambo
6a2a300707 chore(third_party/git): Remove plain patch check-in 2020-01-11 23:36:38 +00:00
Vincent Ambo
894c23510b fix(third_party/git): Update dottime patch for git
Updates the commit message & fixes whitespace error before submitting
this.
2020-01-08 13:02:11 +00:00
Vincent Ambo
dce1112842 feat(third_party/git): Support dottime as log date format 2019-12-28 01:39:33 +01:00