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
Your need to confirm your account before you can post a new comment.

Sign up or log in to comment