2 projects
githubdl
A tool for downloading individual files/directories from Github or Github Enterprise. This circumvents the requirement to clone an entire repository.
tide
From text editor to Integrated Development Environment. This allows you to use a yaml config and some scripting to deliver cross-platform, cross-editor plugins.
