Closed hohwille closed 1 year ago
Fixes #1229
Note: Slows down auto-completion. Would be smarter to remember the last update time and only do git pull if not already done in the last 1-2 minutes. However, I consider this as an optimization that should become its own story.
git pull
Fixes #1229
Note: Slows down auto-completion. Would be smarter to remember the last update time and only do
git pull
if not already done in the last 1-2 minutes. However, I consider this as an optimization that should become its own story.