|
|
|
|
|
by UebVar
528 days ago
|
|
The argument is tautological. I want to use a text editor => This is the wrong tool => Yes, but I want to use a text editor. These people do use the wrong tooling. The only way to cure this grievance is to use proper tooling. The github webui has some ide features, such as symbol search. I don't see any reason why not use a proper ide. github.dev is a simple click in the ui away. When you use gerrit, do a local checkout, that's one git command. If you refuse to use the correct tools for the job, your experience is degraded. I don't see a reason to consider this case when writing code. |
|