From 1d8a9f8513735701d363eea2c1fef41f1c616ed8 Mon Sep 17 00:00:00 2001 From: AAriam <80158628+AAriam@users.noreply.github.com> Date: Mon, 25 Nov 2024 01:50:30 +0100 Subject: [PATCH] Update doc.yaml --- template/.control/doc.yaml | 44 +++++++++++++++++++------------------- 1 file changed, 22 insertions(+), 22 deletions(-) diff --git a/template/.control/doc.yaml b/template/.control/doc.yaml index 92fdc073..7a1857a5 100644 --- a/template/.control/doc.yaml +++ b/template/.control/doc.yaml @@ -1611,28 +1611,28 @@ __custom__: } badge_items.append(badge) tag = f"{get("tag.version.prefix")}{dev_release["version"]}" - github = { - "label": "git checkout", - "args": {"message": tag}, - "logo": "github", - "logo_type": "name", - "color": "#181717", - "link": get("repo.url.releases.home"), - } - out.append(github) - binder = { - "label": "Binder", - "service": "binder", - "endpoint": "github", - "args": { - "message": "try online", - "user": get("repo.owner"), - "repo": get("repo.name"), - "ref": tag - }, - "color": "#579ACA", - } - out.append(binder) + github = { + "label": "git checkout", + "args": {"message": tag}, + "logo": "github", + "logo_type": "name", + "color": "#181717", + "link": get("repo.url.releases.home"), + } + out.append(github) + binder = { + "label": "Binder", + "service": "binder", + "endpoint": "github", + "args": { + "message": "try online", + "user": get("repo.owner"), + "repo": get("repo.name"), + "ref": tag + }, + "color": "#579ACA", + } + out.append(binder) badges = { "class": "badges", "service": "static",