Git-Dumper is a tool to dump a git repository from a website.
This can be installed easily with pip:
pip install git-dumper
usage: git-dumper [options] URL DIR
Dump a git repository from a website.
positional arguments:
URL url
DIR output directory
optional arguments:
-h, –help show this help message and exit
–proxy PROXY use the specified proxy
-j JOBS, –jobs JOBS number of simultaneous requests
-r RETRY, –retry RETRY
number of request attempts before giving up
-t TIMEOUT, –timeout TIMEOUT
maximum time in seconds before giving up
-u USER_AGENT, –user-agent USER_AGENT
user-agent to use for requests
-H HEADER, –header HEADER
additional http headers, e.g NAME=VALUE
git-dumper http://website.com/.git ~/website
TensorFlow is a free, open-source machine learning platform developed by Google. It is used by major…
Minecraft is one of the most popular games ever made — a sandbox game where players…
CouchDB is a free, open-source NoSQL database maintained by the Apache Software Foundation. Unlike traditional relational…
Docker Compose is a tool that lets you define and run multi-container Docker applications using a…
Composer is a dependency manager for PHP. It works similarly to npm for Node.js or pip…
Squid is a full-featured caching proxy server that supports HTTP, HTTPS, and FTP. It is most…