Skip to content
This repository has been archived by the owner on Jul 2, 2024. It is now read-only.

chore(deps): pin dependencies #8947

Closed
wants to merge 2 commits into from
Closed

Conversation

renovate[bot]
Copy link
Contributor

@renovate renovate bot commented Jun 1, 2024

Mend Renovate

This PR contains the following updates:

Package Type Update New value References Sourcegraph
@types/hast (source) devDependencies pin 2.3.4 homepage, source code search for "@types/hast"
@types/mdast (source) devDependencies pin 3.0.10 homepage, source code search for "@types/mdast"
@types/node (source) devDependencies pin 18.11.18 homepage, source code search for "@types/node"
node final pinDigest latest code search for "node"

Test plan: CI should pass with updated dependencies. No review required: this is an automated dependency update PR.

Add the preset :preserveSemverRanges to your config if you don't want to pin your dependencies.


Configuration

📅 Schedule: Branch creation - "on the 1st through 7th day of the month" in timezone America/Los_Angeles, Automerge - At any time (no schedule defined).

🚦 Automerge: Disabled by config. Please merge this manually once you are satisfied.

Rebasing: Whenever PR is behind base branch, or you tick the rebase/retry checkbox.

👻 Immortal: This PR will be recreated if closed unmerged. Get config help if that's undesired.


  • If you want to rebase/retry this PR, check this box

This PR has been generated by Mend Renovate. View repository job log here.

Copy link

github-actions bot commented Jun 1, 2024

Warning

As we're migrating to Notion, we want to make sure that changes to the handbook are absolutely necessary. To ensure it is the case, it's now mandatory to get an approving review to merge a pull request.

Examples

  • Setting up a redirection to a Notion page: PR will be approved.
  • Correcting an important mistake on a page that doesn't have an equivalent yet: PR will be approved.
  • Updating content that isn't mission critical: PR will be rejected.

Sourcegraphers: Reach out to #wg-notion if you have any question.

Copy link

netlify bot commented Jun 1, 2024

Deploy Preview for sourcegraph-handbook ready!

Name Link
🔨 Latest commit 36b648f
🔍 Latest deploy log https://app.netlify.com/sites/sourcegraph-handbook/deploys/665b5a1faa93c40008162444
😎 Deploy Preview https://deploy-preview-8947--sourcegraph-handbook.netlify.app
📱 Preview on mobile
Toggle QR Code...

QR Code

Use your smartphone camera to open QR code link.

To edit notification comments on pull requests, go to your Netlify site configuration.

Copy link
Contributor Author

renovate bot commented Jun 2, 2024

Edited/Blocked Notification

Renovate will not automatically rebase this PR, because it does not recognize the last commit author and assumes somebody else may have edited the PR.

You can manually request rebase by checking the rebase/retry box above.

⚠️ Warning: custom changes will be lost.

Copy link

Hey there! It looks like this pull request has been sitting for a long time. Keep in mind that when you make a pull request, the change doesn't actually go live until you merge the pull request. This needs to be done by you (the pull request author) as soon as you feel like you got the appropriate amount of review/approvals that make you confident with the change. For example: adding yourself to the team page doesn't require anyone's review and you can merge directly, while when proposing a change to your team's processes you'll probably want to get your team's review (and need to request review from your team explicitly, so they get notified).

Please see whether you want to merge this pull request, close it and discard the change, or remind the people you would like review from.

You can find more help on our Editing the handbook handbook page.

Thank you! \(^-^)/

@github-actions github-actions bot added the stale label Jun 17, 2024
Copy link

Since there were no updates in the past 7 days, this pull request is being automatically closed.
If this is a mistake, you can simply click the Reopen button to reopen the pull request.

Thank you! \(^-^)/

@github-actions github-actions bot closed this Jun 24, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

0 participants