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

Pin xeus-lite #194

Merged
merged 1 commit into from
Dec 6, 2023
Merged

Pin xeus-lite #194

merged 1 commit into from
Dec 6, 2023

Conversation

martinRenou
Copy link
Member

No description provided.

@martinRenou martinRenou added the bug Something isn't working label Dec 6, 2023
Copy link
Contributor

github-actions bot commented Dec 6, 2023

lite-badge 👈 Try it on ReadTheDocs

@martinRenou
Copy link
Member Author

meeseeksdev backport to 0.x

Copy link

lumberbot-app bot commented Dec 6, 2023

Owee, I'm MrMeeseeks, Look at me.

There seem to be a conflict, please backport manually. Here are approximate instructions:

  1. Checkout backport branch and update it.
git checkout 0.x
git pull
  1. Cherry pick the first parent branch of the this PR on top of the older branch:
git cherry-pick -x -m1 7b4b935d1018b1f3cf015b6554c04c90eb9cb95a
  1. You will likely have some merge/cherry-pick conflict here, fix them and commit:
git commit -am 'Backport PR #194: Pin xeus-lite'
  1. Push to a named branch:
git push YOURFORK 0.x:auto-backport-of-pr-194-on-0.x
  1. Create a PR against branch 0.x, I would have named this PR:

"Backport PR #194 on branch 0.x (Pin xeus-lite)"

And apply the correct labels and milestones.

Congratulations — you did some good work! Hopefully your backport PR will be tested by the continuous integration and merged soon!

Remember to remove the Still Needs Manual Backport label once the PR gets merged.

If these instructions are inaccurate, feel free to suggest an improvement.

@martinRenou martinRenou merged commit 48860dd into jupyterlite:main Dec 6, 2023
17 checks passed
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
bug Something isn't working Still Needs Manual Backport
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant