It looks like `conf/config.php` is already included in the commit, so I think you just need to update it with `git commit --force conf/config.php` but make sure only those new lines were changed or it could change Elefant's defaults without us realizing :P