aboutsummaryrefslogtreecommitdiffhomepage
path: root/third_party/git
Commit message (Collapse)AuthorAge
* Merge changes from github.Gravatar Jianwei Xie2018-01-24
| | | | PiperOrigin-RevId: 183100142
* Merge changes from github.Gravatar Frank Chen2018-01-10
| | | | PiperOrigin-RevId: 181494416
* Run gen_git_source.py inside of a repo_rule instead of configure.Gravatar Michael Case2017-12-22
PiperOrigin-RevId: 179971055