Skip to content

release: 0.1.11#201

Merged
mikehardy merged 1 commit into
ankidroid:mainfrom
mikehardy:release-0-1-11
Jun 11, 2022
Merged

release: 0.1.11#201
mikehardy merged 1 commit into
ankidroid:mainfrom
mikehardy:release-0-1-11

Conversation

@mikehardy

Copy link
Copy Markdown
Member

includes #199 (pointing to new ankidroid/anki fork)
includes #200 (update ankidroid/anki submodule ref to include fix-counts ankidroid/anki#1)

includes #199 (pointing to new ankidroid/anki fork)
includes #200 (update ankidroid/anki submodule ref to include fix-counts ankidroid/anki#1)
@mikehardy

mikehardy commented Jun 11, 2022

Copy link
Copy Markdown
Member Author

This appeared to be all that was necessary prior to a publish, based on investigation around prior release #128 and commit stream around related merge / release

Actual release blocked by #33 (publish to new shared-responsibility coordinates) / finalize of #5 (to remove human interaction necessity)

@mikehardy mikehardy added the pending-merge Waiting on CI or question responses to merge, but otherwise ready label Jun 11, 2022
@mikehardy

Copy link
Copy Markdown
Member Author

blocks ankidroid/Anki-Android#11599 - final part is to point ankidroid dep to this release assuming it works

@mikehardy mikehardy merged commit 0b23fa9 into ankidroid:main Jun 11, 2022
@mikehardy mikehardy removed the pending-merge Waiting on CI or question responses to merge, but otherwise ready label Jun 11, 2022
@mikehardy mikehardy deleted the release-0-1-11 branch June 11, 2022 18:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant