top | item 33341540

(no title)

_Chief | 3 years ago

A tip for going over github code is to use the github.dev domain. This will help going over the code in an IDE (if you'd like that), that provides you language features, and easier navigation (eg Go To/ Peek Definitions, or References). It also helps avoid to clone a large repo to do the same locally.

For example https://github.dev/dotnet/roslyn/blob/main/src/Analyzers/CSh... (takes a few mins to cache such a large repo, but caches in browser local storage for subsequent use)

discuss

order

bob1029|3 years ago

Pressing '.' while in the code area of GitHub.com will automagically take you to dev space.