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
It seems git has no option to ignore .gitconfig like vim's -u NONE. Unsetting or making empty $HOME may work. However, .gitconfig has other fields which we shouldn't disable, e.g. http.proxy
Description
We invoke
generate.py
at https://github.com/yosupo06/library-checker-problems to generate test cases of problems in Library-Checker, and usegit
command to checkout this repository.For example,
core.autoCRLF=true
causes a problem (yosupo06/library-checker-problems#598).Detecting
core.autoCRLF=true
config or CRLF in sample files and show warnings onoj
command orgenerate.py
?Error log
yosupo06/library-checker-problems#598 (comment)
Other notes
git
has no option to ignore.gitconfig
likevim
's-u NONE
. Unsetting or making empty$HOME
may work. However,.gitconfig
has other fields which we shouldn't disable, e.g.http.proxy
The text was updated successfully, but these errors were encountered: