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
Both git fetch and git pull talk to a remote repository, but they do very different things to your…
Sometimes the change you need already exists, just on the wrong branch. A hotfix lands…
Email is still one of the most important communication channels inside modern applications. Password resets,…
Nginx is a high-performance web server and reverse proxy trusted by some of the largest…
ufw (Uncomplicated Firewall) sits on top of iptables (or nftables on newer systems) and replaces…
When you share a server with a team or investigate unexpected activity, the first question…