summaryrefslogtreecommitdiff
path: root/git-reindent-branch.py
diff options
context:
space:
mode:
authorQuentin Young <qlyoung@cumulusnetworks.com>2017-12-14 15:41:37 -0500
committerQuentin Young <qlyoung@cumulusnetworks.com>2017-12-20 12:54:10 -0500
commit33fe08f4b189fdd08a776bb7361805a16a0cbe40 (patch)
tree9c3a59cf49b8a138371e5218516b6b31d0eb1378 /git-reindent-branch.py
parent3e4ae7027758a06f7bbc7375c955a4f0ccf879c3 (diff)
tools: support unclean working directory
Adds ability to still work even when the user's base FRR directory is not clean by caching index, working directory and deletion state in various locations then restoring after done. Signed-off-by: Quentin Young <qlyoung@cumulusnetworks.com>
Diffstat (limited to 'git-reindent-branch.py')
0 files changed, 0 insertions, 0 deletions