WIP: instructor command #232

Draft

EcstaticPilot wants to merge 6 commits from instructor-command into main

EcstaticPilot commented

2026-07-21 12:17:59 +00:00

(Migrated from codeberg.org)

closes #134 by adding a /instructor command that shows all courses an instructor has taught recently along with their FCE. Includes fuzzy search and auto-complete
TODO: pagination, code clean-up
other than that the command is in a useable state

closes #134 by adding a /instructor command that shows all courses an instructor has taught recently along with their FCE. Includes fuzzy search and auto-complete TODO: pagination, code clean-up other than that the command is in a useable state

This pull request has changes conflicting with the target branch.

devenv.lock
flake.lock

View command line instructions

Manual merge helper

Use this merge commit message when completing the merge manually.

Merge commit title

Merge pull request 'WIP: instructor command' (#232) from instructor-command into main

Merge commit body

Reviewed-on: https://git.cmu.dev/ScottyLabs/dalmatian/pulls/232

Merge pull request 'WIP: instructor command' (#232) from instructor-command into main

Reviewed-on: https://git.cmu.dev/ScottyLabs/dalmatian/pulls/232

Checkout

From your project repository, check out a new branch and test the changes.

git fetch -u origin instructor-command:instructor-command

git switch instructor-command

Merge

Merge the changes and update on Forgejo.

Warning: The "Autodetect manual merge" setting is not enabled for this repository, you will have to mark this pull request as manually merged afterwards.

git switch main

git merge --no-ff instructor-command

git switch instructor-command

git rebase main

git switch main

git merge --ff-only instructor-command

git switch instructor-command

git rebase main

git switch main

git merge --no-ff instructor-command

git switch main

git merge --squash instructor-command