# 
# patch "git_export.cc"
#  from [c02a81f32ce96a8d1cfd4f2281421bed177dbc52]
#    to [0f72eaafd40c5e9f14b1db251905ae4f95525ff8]
# 
========================================================================
--- git_export.cc	c02a81f32ce96a8d1cfd4f2281421bed177dbc52
+++ git_export.cc	0f72eaafd40c5e9f14b1db251905ae4f95525ff8
@@ -468,7 +468,7 @@
 }
 
 static bool
-export_git_revision(git_history &git, app_state &app, revision_id rid, git_object_id gitcid)
+export_git_revision(git_history &git, app_state &app, revision_id rid, git_object_id &gitcid)
 {
   L(F("Exporting commit '%s'") % rid.inner());
 
@@ -523,6 +523,10 @@
 
   gitcid = git.staging.commit_save(gittid, parents, author, committer, data(logmsg));
   git.commitmap.insert(make_pair(rid, gitcid));
+
+  packet_db_writer dbw(app);
+  put_simple_revision_cert(rid, gitcommit_id_cert_name, gitcid(), app, dbw);
+
   return true;
 }