gistfile1.txt

`--> git remote show origin 
* remote origin
  Fetch URL: [email protected]:martinbrandenburg/CppBot.git
  Push  URL: [email protected]:martinbrandenburg/CppBot.git
  HEAD branch: master
  Remote branches:
    cb_devel  tracked
    master    tracked
    nix_devel new (next fetch will store in remotes/origin)
  Local branch configured for 'git pull':
    master merges with remote master
  Local refs configured for 'git push':
    cb_devel pushes to cb_devel (up to date)
    master   pushes to master   (up to date)