Integrations
GitHub
Connect GitHub and the pull requests, commits and branches that mention a pin link to it on their own. A pin shows its fix in review while the PR is open, and is resolved when the fix merges.
Connecting
A workspace owner opens Workspace on the dashboard and picks Connect GitHub. Install the app on the account or organization that owns your repos, choose which repos it can see, then authorize it, so Laterbase can check you have access to that installation. You come back to the Workspace page with the account listed.
The app only reads: pull requests, pushes and branches. It never comments, pushes or changes anything on GitHub. Updates reach a workspace only for repos it already has pins in.
Mentioning a pin
Put a pin key in a pull request's title or description, a commit message or a branch name. Keys match whole and in any case, so acme-42-retry as a branch name counts, and ACME-4 never matches inside ACME-42. Keys inside `code` don't count, just as they don't on a pin.
- Fixes, closes or resolves before a key, or a list of keys, links the pin as
fixed_in: here ACME-42, ACME-43 and ACME-50. - Any other mention links it as
related: here ACME-7.
The link shows in the pin's history as an edit via GitHub. Agents can still link a PR themselves with update_pin; once GitHub is connected, that PR stays in sync too.
When the fix merges
A pin's fixed_in link shows the PR's state: draft, open, merged or closed. When the PR merges, or a linked commit lands on the default branch, an open or claimed pin is resolved for whoever merged it. A claim someone else holds is taken over and recorded, since the fix has landed either way.
GitHub only ever undoes its own work. If a fix stops being merged, a pin it resolved is reopened; a pin someone resolved by hand, or reopened since, is left alone. Closing a PR without merging changes nothing.
Resolving by hand with set_status still works; GitHub just saves the step when the fix is a PR or commit it can see.
Who gets the credit
What happens on GitHub shows in a pin's history as the person who did it, with GitHub's logo on their avatar, once their GitHub account is linked. Signing in with GitHub links it; anyone who signs in by email picks Link GitHub in their profile. Until then it shows as GitHub, with the login of whoever did it.
Disconnecting
Owners can disconnect an account from the Workspace page. Its updates stop reaching the workspace, the links already made stay, and the app is uninstalled from that account on GitHub unless another workspace still uses it. Uninstalling the app on GitHub yourself disconnects it from every workspace.