Skip to content
This repository was archived by the owner on Sep 30, 2024. It is now read-only.

chore: update third-party licenses#55028

Merged
sourcegraph-bot merged 1 commit into
mainfrom
chore/licenses-update
Jul 17, 2023
Merged

chore: update third-party licenses#55028
sourcegraph-bot merged 1 commit into
mainfrom
chore/licenses-update

Conversation

@sourcegraph-bot-devx

Copy link
Copy Markdown
Contributor

This is an automated pull request generated by this run.
Learn more about our GitHub Actions for managing licenses here.

You're safe to merge this pull request when the required checks are passing.

Test plan: CI should pass with any updates.

@sourcegraph-bot-devx sourcegraph-bot-devx requested a review from a team July 17, 2023 17:50
@cla-bot cla-bot Bot added the cla-signed label Jul 17, 2023
@sourcegraph-bot sourcegraph-bot enabled auto-merge (squash) July 17, 2023 17:50
@sourcegraph-bot sourcegraph-bot merged commit ca5cfa6 into main Jul 17, 2023
@sourcegraph-bot sourcegraph-bot deleted the chore/licenses-update branch July 17, 2023 17:53
keegancsmith pushed a commit that referenced this pull request Aug 24, 2023
This is an automated pull request generated by [this
run](https://github.com/sourcegraph/sourcegraph/actions/runs/5578826248).
Learn more about our GitHub Actions for managing licenses
[here](https://docs.sourcegraph.com/dev/background-information/ci#third-party-licenses).

You're safe to merge this pull request when the required checks are
passing.

Test plan: CI should pass with any updates.
keegancsmith added a commit that referenced this pull request Aug 24, 2023
This is an automated pull request generated by [this
run](https://github.com/sourcegraph/sourcegraph/actions/runs/5578826248).
Learn more about our GitHub Actions for managing licenses
[here](https://docs.sourcegraph.com/dev/background-information/ci#third-party-licenses).

You're safe to merge this pull request when the required checks are
passing.

Test plan: CI should pass with any updates.
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.

3 participants