MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-01-08 15:09:39 +07:00
Code Issues Packages Projects Releases Wiki Activity

[github] use source repo owner as PR remote name

Browse Source 
fail-fast PR branch checkout if source repo is missing

GitOrigin-RevId: 344b7ef031c4ec383c2ac5ae8d7c82f1476c2387
This commit is contained in:
Ivan Semenov
2023-06-30 16:38:00 +02:00
committed by intellij-monorepo-bot
parent cd42ec4c80
commit 544257a34c
2 changed files with 7 additions and 28 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
plugins/github/resources/messages/GithubBundle.properties
View File

@@ -234,7 +234,6 @@ pull.request.editor.timeline=Pull Request Timeline
pull.request.branch.checkout.remote.cannot.find=Can't find remote
pull.request.branch.checkout.task.title=Checking out branch from pull request
pull.request.branch.checkout.task.indicator=Checking out branch
pull.request.branch.checkout.resolve.author.failed=Cannot resolve pull request author
pull.request.branch.checkout.resolve.remote.failed=Cannot resolve pull request remote
pull.request.branch.checkout.resolve.head.failed=Cannot resolve pull request source repository
#branch update