remove git repo option since it is unique now

Signed-off-by: Antonio Quartulli <ordex@autistici.org>