search

jupyterlab-contrib / rise

RISE: "Live" Reveal.js JupyterLab Slideshow Extension
BSD 3-Clause "New" or "Revised" License
157 stars 16 forks source link

Change document name #49

Closed hbcarlos closed 10 months ago

hbcarlos commented 10 months ago

Fixes document label as commented in https://github.com/jupyterlab-contrib/rise/pull/35#issuecomment-1644081589

Btw: if easy to change, "Rise Slides" or "Slides (Rise)" or "Slides" would be more informative as label in the menu for users that don't know that rise is a tool for slides.

cc @nthiery

Screenshot from 2023-09-04 10-51-44

github-actions[bot] commented 10 months ago

Binder :point_left: Launch a Binder on branch hbcarlos/rise/label

fcollonval commented 10 months ago

@meeseeksdev please backport to 3.x

lumberbot-app[bot] commented 10 months ago

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 3.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 866db0c49cea011114d8d9993f5219c3edfcc72f

  2. You will likely have some merge/cherry-pick conflict here, fix them and commit:

git commit -am 'Backport PR #49: Change document name'
  1. Push to a named branch:
git push YOURFORK 3.x:auto-backport-of-pr-49-on-3.x
  1. Create a PR against branch 3.x, I would have named this PR:

"Backport PR #49 on branch 3.x (Change document name)"

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.