Skip to content

[pull] master from conwnet:master - #157

Merged
pull[bot] merged 1 commit into
shell-script:masterfrom
conwnet:master
Sep 11, 2026
Merged

pull[bot] merged 1 commit into
shell-script:masterfrom
conwnet:master

Conversation

@pull

@pull pull Bot commented Sep 11, 2026 •

Copy link
Copy Markdown

See Commits and Changes for more details.


Created by pull[bot] (v2.0.0-alpha.4)

Can you help keep this open source service alive? 💖 Please sponsor : )

* feat: discovery key

* feat: use GitHub API when the Sourcegraph API fails
@pull pull Bot locked and limited conversation to collaborators Sep 11, 2026
@pull pull Bot added the ⤵️ pull label Sep 11, 2026
@pull
pull Bot merged commit 6542713 into shell-script:master Sep 11, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant