#!/usr/bin/php id); define("INTERNAL_USER_USERNAME", $me->username); $now = date("U"); // update last merge timestamp $merge_ts = new mfConfig("git.merge.ts"); $merge_ts->type("int"); $merge_ts->value($now); $merge_ts->save(); // update git commit ref $git_ref = new mfConfig("git.lastref"); $sc = new SystemController(); $commitid = $sc->getLastCommit(); if($commitid) { $git_ref->value($commitid); $git_ref->save(); }