GitHub Editor

Posted by kooskoos on Thursday August 12, 2021 @01:08AM
from the twitter.com dept.

https://twitter.com/github/status/1425505817827151872

( 3 comments | 6 points | on HN )

Re:GitHub Editor by supernes on Thursday August 12, 2021 @03:40AM (#28153248)

This 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!

[ Parent | on HN ]

Re:GitHub Editor by kooskoos on Thursday August 12, 2021 @01:29PM (#28159065)

Agreed

[ Parent | on HN ]

Re:GitHub Editor by blondin on Thursday August 12, 2021 @01:24AM (#28152293)

that's a very cool feature!

[ Parent | on HN ]