diff options
author | William Carroll <wpcarro@gmail.com> | 2019-12-23T09·02+0000 |
---|---|---|
committer | William Carroll <wpcarro@gmail.com> | 2019-12-24T15·21+0000 |
commit | 6cf8517cabee6595e843ab0b77d5f5ab26bbe5c8 (patch) | |
tree | 9c8d25e18e2d1179fbad3ec5adc21b40762d8eb3 /.gitignore | |
parent | 96032dbeb0c769bbd36958ff13a1fb4777412628 (diff) |
Combine google-{stuff,tooling}
Google-related files should eventually be moved out of GitHub hosting and onto Google infrastructure (e.g. Git on Borg). When I do this, I should run: ```fish > git grep --ignore-case google (git rev-list --all) ``` To assess the reference I've introduced into this repository. Other tools that should come in handy when I do this are: - git filter-branch - BFG repo-cleaner
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions