Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | update my email address and homepage url | 2015-01-21 | |
| | |||
* | Check git version at runtime, rather than assuming it will be the same as ↵ | 2015-01-05 | |
| | | | | | | | | | | | | | | | | | the git version used at build time when running git-checkattr and git-branch remove. It's ok to probe every time for git-branch remove because that's run quite rarely. For git-checkattr, it's run only once, when starting the --batch mode, and so again the overhead is pretty minimal. This leaves 2 places where the build version is still used. git merge might be interactive or fail if one skews, and --no-gpg-sign might not be pased, or might be passed to a git that doesn't understand it if the other skews. It seems a little expensive to check the git version each time these are used. This doesn't seem likely to cause many problems, at least compared with check-attr hanging on skew. | ||
* | Use wget -q --show-progress for less verbose wget output, when built with ↵ | 2014-12-16 | |
| | | | | wget 1.16. | ||
* | fix some mixed space+tab indentation | 2014-10-09 | |
| | | | | | | | | | This fixes all instances of " \t" in the code base. Most common case seems to be after a "where" line; probably vim copied the two space layout of that line. Done as a background task while listening to episode 2 of the Type Theory podcast. | ||
* | better git version checking | 2013-08-02 | |
| | |||
* | finished where indentation changes | 2012-12-13 | |
| | |||
* | Can now be built with older git versions (before 1.7.7); the resulting ↵ | 2011-12-22 | |
binary should only be used with old git. Remove git old version check from configure, and use the git version it was built against in the git check-attr code. |