infrastructure/roles/git/README.md


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

# git

## Create a repository

On the server:

```
mkdir -p ~/git
cd ~/git
git init --bare $REPO
```

## Push an existing repository

```
git remote add $REMOTE_NAME $SERVER:git/$REPO
git push $REMOTE_NAME main
```