You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
### Junk files that can be left over from git mergetool
*.orig
# These should actually be *.BACKUP_<1 or more digits>.<any extention>, but sadly .gitignore uses glob syntax, which doesn't have a way to express that.
# So as an imperfect workaround, just check that the first one is a digit, and then hope the rest aren't a problem.
# +([0-9]) would be what we want. But that is a GNU extension to fnmatch, not standard :(