Commit dc277e38 authored by Michael Krause's avatar Michael Krause 🎉
Browse files

note for push.sh

parent d0fbf788
Pipeline #599 passed with stages
in 35 seconds
#!/bin/bash
echo 'just push to origin master (on git.mpib-berlin.mpg.de) now!'
exit 0
git push
git checkout gl-pages
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment