Merge pull request #4 from ctu-mrs/add_ondras_ip

Added ondra's ip and git name.
ctu-mrs · Jul 24, 2024 · 16a4418 · 16a4418
2 parents 932fe58 + 885011e
commit 16a4418
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/ssh/generate_ssh_config.sh b/ssh/generate_ssh_config.sh
@@ -87,6 +87,7 @@ input=(
   'michal'        'michal'  '192.168.69.90'
   'vit'           'vit'     '192.168.69.48'
   'matej'         'matej'   '192.168.69.50'
+  'ondra'         'ondra'   '192.168.69.69'
 )
 
 # get path to script

diff --git a/ssh/git_usernames b/ssh/git_usernames
@@ -8,3 +8,4 @@ jiri Jiri Horyna
 filip Filip Novak
 manuel Manuel Boldrer
 vbakirci Veli Bakircioglu
+ondra Ondrej Prochazka