Skip to content
Snippets Groups Projects
Commit 4abd6801 authored by Tamas Gal's avatar Tamas Gal :speech_balloon:
Browse files

Add script to retrieve Jpp headers

parent f78b1533
No related branches found
No related tags found
No related merge requests found
#!/usr/bin/env bash
if [ ! -d 'jpp' ]; then
echo "Cloning Jpp..."
git clone --depth 1 https://$KM3NET_USERNAME:$KM3NET_PASSWORD@git.km3net.de/common/jpp.git
else
echo "Fetching latest master"
cd jpp
git pull
fi
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment