Github Extension This repository contains a warpdl extension that allows you to download a github repository as a zip file. Note: This extension is still in development and may not work as expected.