Switch to options_example.php

Allows users to import git repository without losing the options