The web portal will sometimes want to be notified if a specific PR is merged for a given task.
[ ] Add a webhook to listen for PR merged events via GitHub
[ ] Add a new TaskStatus value for merged
[ ] When the merged PR matches a specific Task in the database, update the status to merged
[ ] Display the updated status in the Workspace component status section
[ ] If the user is currently in the onboarding phase, show a message that the onboarding is completed and redirect them to choose a Developer to start using the app
The web portal will sometimes want to be notified if a specific PR is merged for a given task.
TaskStatus
value formerged
Task
in the database, update the status tomerged
Workspace
component status sectiononboarding
phase, show a message that the onboarding is completed and redirect them to choose aDeveloper
to start using the app