React on galata update comment, fix binder URL in docs

[krassowski]

References

This is a small developer UX proposal to add +1 reaction (as dependabot does).

Code changes

• Add a reaction step in galata-update
• Fixes outdated references to master branch seen when updating docs

User-facing changes

None

Backwards-incompatible changes

None

[jupyterlab-probot]

Thanks for making a pull request to jupyterlab!
To try out this branch on binder, follow this link:

[jtpio]

Thanks!

[jtpio]

@meeseeksdev please backport to 4.0.x

[lumberbot-app]

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 4.0.x
git pull

2. Cherry pick the first parent branch of the this PR on top of the older branch:

git cherry-pick -x -m1 c570641c70899b83e5cbf93e8fad8bb275c4be85

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

git commit -am 'Backport PR #15070: React on galata update comment, fix binder URL in docs'

4. Push to a named branch:

git push YOURFORK 4.0.x:auto-backport-of-pr-15070-on-4.0.x

5. Create a PR against branch 4.0.x, I would have named this PR:

"Backport PR #15070 on branch 4.0.x (React on galata update comment, fix binder URL in docs)"

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.