mirror of
https://github.com/YunoHost/apps.git
synced 2024-09-03 20:06:07 +02:00
[wip] Resolve HEAD to a commit right away
This commit is contained in:
parent
dc55c9bf8a
commit
d18c464855
1 changed files with 26 additions and 18 deletions
|
@ -181,11 +181,19 @@ for app, info in apps_list.items():
|
||||||
previous_featured = already_built_file.get(app, {}).get("featured")
|
previous_featured = already_built_file.get(app, {}).get("featured")
|
||||||
previous_high_quality = already_built_file.get(app, {}).get("high_quality")
|
previous_high_quality = already_built_file.get(app, {}).get("high_quality")
|
||||||
|
|
||||||
if forge_type == "github" and app_rev == "HEAD":
|
if app_rev == "HEAD":
|
||||||
|
app_rev = subprocess.check_output(["git", "ls-remote", app_url, "HEAD"]).split()[0]
|
||||||
|
if not re.match(r"^[0-9a-f]+$", app_rev):
|
||||||
|
error("Revision for %s did not match expected regex" % app)
|
||||||
|
continue
|
||||||
|
|
||||||
if previous_rev is None:
|
if previous_rev is None:
|
||||||
previous_rev = 'HEAD'
|
previous_rev = 'HEAD'
|
||||||
|
|
||||||
|
# If this is a github repo, we are able to optimize things a bit by looking at the diff
|
||||||
|
# and not actually updating the app if only README or other not-so-important files were edited
|
||||||
|
if forge_type == "github":
|
||||||
|
|
||||||
url = "https://api.github.com/repos/{}/{}/git/refs/heads/{}".format(owner, repo, app_branch)
|
url = "https://api.github.com/repos/{}/{}/git/refs/heads/{}".format(owner, repo, app_branch)
|
||||||
head = get_json(url)
|
head = get_json(url)
|
||||||
app_rev = head["object"]["sha"]
|
app_rev = head["object"]["sha"]
|
||||||
|
|
Loading…
Add table
Reference in a new issue