Edit space icon

#1
by dbirks - opened

Starting with a very important update ๐Ÿ˜

Just trying out their PR flow. It's interesting... they allow seemingly any user to push to a ref/pr/* branch (but not technically a branch, but a ref?)

This doc helped the most: https://huggingface.co/docs/hub/repositories-pull-requests-discussions#pull-requests-advanced-usage

Also looks like you're supposed to press the New Pull Request button before getting a branch ready... it opens it in draft mode and gives nice detailed instructions on how to pull and push these bare refs. Very helpful because I have only dealt with branches and tags before.

dbirks changed pull request status to open

Nice!

tkelley353 changed pull request status to merged

Sign up or log in to comment