Web developmentOld Github UISreenivasan RameshGitHub changed their UI on 2020-06-23, this extension brings a few items back to their classic look.Screenshots from Mozilla Add-ons