mirror of
https://github.com/ultimatepp/ultimatepp.git
synced 2026-05-15 14:16:07 -06:00
[GH-ISSUE #76] [UI refine]blocks at the init step of theIDE for a long time, without the git clone process #43
Labels
No labels
pull-request
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference: github-starred/ultimatepp#43
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Originally created by @faywong on GitHub (May 27, 2022).
Original GitHub issue: https://github.com/ultimatepp/ultimatepp/issues/76
@faywong commented on GitHub (May 28, 2022):
I need to set proxy for git:
git config --global http.proxy socks5://127.0.0.1:1080