# 
# patch "git_export.cc"
#  from [3798e1e682581911b49e3c867124bf2c91017bc5]
#    to [316e9ef94c5c358d9f6a51fb35a4a73b83c4543a]
# 
========================================================================
--- git_export.cc	3798e1e682581911b49e3c867124bf2c91017bc5
+++ git_export.cc	316e9ef94c5c358d9f6a51fb35a4a73b83c4543a
@@ -504,7 +504,7 @@
   git.branch = app.branch_name();
 
   if (headname.empty())
-    headname = "mtexport";
+    headname = "master";
   system_path headpath(gitrepo / "refs/heads" / headname);
 
   // Nothing shall disturb us!