GitHub Code Folding

A userscript that adds code folding to GitHub files

As of 21.02.2021. See апошняя версія.