https://bugzilla.wikimedia.org/show_bug.cgi?id=38783

--- Comment #11 from Dereckson <[email protected]> ---
It seems this should be done in two ways:

(1) ExtensionDistributor. Add a an information file with hash and date.

To get the date:
git show --format="%ci" HEAD | head -n1 | cut -f1 -d ' '

To get the hash (if this is needed, I think the case is well covered by our
current class):
git rev-parse HEAD

* * *

(2) If this file is absent and a .git folder is present. The extension has
probabably been fetched by a git clone repository. Test we can execute git on
the system and get the date.

-- 
You are receiving this mail because:
You are the assignee for the bug.
You are watching all bug changes.
_______________________________________________
Wikibugs-l mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l

Reply via email to