diff options
author | William Carroll <wpcarro@gmail.com> | 2022-01-22T02·09-0800 |
---|---|---|
committer | clbot <clbot@tvl.fyi> | 2022-01-27T06·26+0000 |
commit | b9deba220ff62f800df07af1b817fd050ba193db (patch) | |
tree | cddefc33624d0539b43c5b06058eb8e91c1399a7 /third_party/gerrit/0005-When-using-local-fonts-always-assume-Gerrit-is-mount.patch | |
parent | 19182faad2178102289ddd1050c33465fab09b4f (diff) |
fix(wpcarro/fish): Drop unused git alias r/3686
This *should've been* `git pull --rebase` (not `push`). Then I realized that I don't really use this alias; it's sort of a pre-magit workflow. Change-Id: Ibe02d2c960f60e7d735981171780ef755a50a5b9 Reviewed-on: https://cl.tvl.fyi/c/depot/+/5041 Tested-by: BuildkiteCI Autosubmit: wpcarro <wpcarro@gmail.com> Reviewed-by: wpcarro <wpcarro@gmail.com>
Diffstat (limited to 'third_party/gerrit/0005-When-using-local-fonts-always-assume-Gerrit-is-mount.patch')
0 files changed, 0 insertions, 0 deletions