merge.tool, mergetool.cmd, github.user, alias.df, alias.l, push.default