3 ms·GitHub Editor6 points by kooskoos 5y agoblondin 5y agothat's a very cool feature!supernes 5y agoThis is amazing, a 10x QoL improvement for people who read a lot of code on GitHub daily and don't want to bother pulling it locally just to get around the slow navigation in the web UI!kooskoos 5y agoAgreed