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
I have perceived that in certain parts of our codebase, we are using Michalewichz instead of Michalewicz. Should we fix that name to the second one shown so we are naming the Michalewicz problem as it should?
You could have an idea of the issue just by running grep -iRn "michalewichz" under the repository root folder.
I have perceived that in certain parts of our codebase, we are using
Michalewichz
instead ofMichalewicz
. Should we fix that name to the second one shown so we are naming the Michalewicz problem as it should?You could have an idea of the issue just by running
grep -iRn "michalewichz"
under the repository root folder.View grep output
The text was updated successfully, but these errors were encountered: