mirror of
https://gitea.com/gitea/tea.git
synced 2024-11-21 18:11:36 +01:00
e96cfdbbe7
This avoids creation of local branches, to avoid cluttering the local repo: - if the commit already exists on the tip of a local branch, check that one out - otherwise check out the remote tracking branch (`refs/remotes/<remote>/<head>`), and suggest what to do if you want to make changes. I'm not certain this behaviour is actually better, I suggest leaving this open for a while for people to try out the new behaviour: ``` tea pr checkout 314 make install ``` fixes #293 Co-authored-by: Norwin Roosen <git@nroo.de> Co-authored-by: 6543 <6543@obermui.de> Reviewed-on: https://gitea.com/gitea/tea/pulls/314 Reviewed-by: 6543 <6543@obermui.de> Reviewed-by: Lunny Xiao <xiaolunwen@gmail.com> Co-authored-by: Norwin <noerw@noreply.gitea.io> Co-committed-by: Norwin <noerw@noreply.gitea.io> |
||
|---|---|---|
| .. | ||
| flags | ||
| issues | ||
| labels | ||
| login | ||
| milestones | ||
| organizations | ||
| pulls | ||
| releases | ||
| repos | ||
| times | ||
| autocomplete.go | ||
| categories.go | ||
| comment.go | ||
| issues.go | ||
| labels.go | ||
| login.go | ||
| logout.go | ||
| milestones.go | ||
| notifications.go | ||
| open.go | ||
| organizations.go | ||
| pulls.go | ||
| releases.go | ||
| repos.go | ||
| times.go | ||