blob: f8e7d488be253432bce114e0d0c0ea3f6d2f2ed6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
#!/bin/bash
if [ ! -d /srv/web/developer.fedoraproject.org/.git ]
then
/usr/bin/git clone -q https://github.com/developer-portal/developer.fedoraproject.org.git /srv/web/developer.fedoraproject.org
fi
cd /srv/web/developer.fedoraproject.org
/usr/bin/git clean -q -fdx || exit 1
/usr/bin/git reset -q --hard || exit 1
/usr/bin/git checkout -q master || exit 1
/usr/bin/git pull -q --ff-only || exit 1
|
