Skip to content

chore: release main - #900

Merged
rongxin-liu merged 1 commit into
mainfrom
release-please--branches--main
Sep 8, 2026
Merged

chore: release main#900
rongxin-liu merged 1 commit into
mainfrom
release-please--branches--main

Conversation

@github-actions

@github-actions github-actions Bot commented Sep 7, 2026

Copy link
Copy Markdown
Contributor

🤖 I have created a release beep boop

web: 1.47.0

1.47.0 (2026-09-08)

Features

  • web: select assignments and act on them in bulk (#769) (a441663)

Bug Fixes

  • web: keep an assignment's row in place on write (#755) (b50b7e0)
cli: 1.47.0

1.47.0 (2026-09-08)

Features

  • cli: add --pull to gh teacher download to update existing clones (#902) (d318e25)

This PR was generated with Release Please. See documentation.

@github-actions
github-actions Bot force-pushed the release-please--branches--main branch from 032a0d2 to ea552e3 Compare September 7, 2026 23:46
@github-actions
github-actions Bot force-pushed the release-please--branches--main branch from ea552e3 to 68ae845 Compare September 8, 2026 00:24
@rongxin-liu rongxin-liu self-assigned this Sep 8, 2026
@rongxin-liu
rongxin-liu merged commit 7c0bb1d into main Sep 8, 2026
9 checks passed
@rongxin-liu
rongxin-liu deleted the release-please--branches--main branch September 8, 2026 00:39
@github-actions

github-actions Bot commented Sep 8, 2026

Copy link
Copy Markdown
Contributor Author

🤖 Created releases:

🌻

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant