mirror of
https://github.com/games-on-whales/games-on-whales.github.io.git
synced 2026-10-15 12:51:55 +00:00
[PR #2] [MERGED] add the @asciidoctor/tabs plugin #2
Labels
No labels
enhancement
good first issue
pull-request
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference
games-on-whales/games-on-whales.github.io#2
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
📋 Pull Request Information
Original PR: https://github.com/games-on-whales/games-on-whales.github.io/pull/2
Author: @zb140
Created: 2/5/2023
Status: ✅ Merged
Merged: 2/5/2023
Merged by: @ABeltramo
Base:
main← Head:zb/tabs📝 Commits (1)
1a873cbadd the @asciidoctor/tabs plugin📊 Changes
4 files changed (+58 additions, -5 deletions)
View changed files
📝
antora-playbook.yml(+20 -2)📝
local-antora-playbook.yml(+20 -2)📝
package-lock.json(+17 -1)📝
package.json(+1 -0)📄 Description
I'd like to use this plugin in a docs update PR for GoW that I'm about to submit 😄
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.