-
Notifications
You must be signed in to change notification settings - Fork 4
-
Notifications
You must be signed in to change notification settings - Fork 4
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Add settings to use git branch for current save #20
Labels
enhancement
New feature or request
Comments
It may be better to let the user specify a shell command to generate a save name. Not everyone uses git, and even git users may want something other than the head label |
Also need to find a good fallback for a default when a git repo is not found |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Automatically switching saves in the persistent storage to the current head label would be an easy way to have traces and trace diagnostics match the current code
It is possible to get the label from the built-in git extension, but a quick look didn't find a change event
The text was updated successfully, but these errors were encountered: