Home
IDEs Support (IntelliJ Platform) | JetBrains
Contact Support
Community
Sign in
Henry
Total activity
12
Last activity
February 02, 2021 23:30
Member since
October 18, 2017 20:38
Following
0 users
Followed by
0 users
Votes
5
Subscriptions
4
Activity overview
Posts (1)
Comments (2)
Sort by recent activity
Recent activity
Votes
Edited
February 02, 2021 23:30
For anyone arriving here from a search on how to get the IDE list to refresh, who wants to get their local branches pruned but the above referenced issue isn't added yet, you can add #!/usr/bin/env...
Community
IntelliJ IDEA Users
How can I refresh already deleted Git remote branches?
0 votes
Created
October 18, 2017 20:38
Note that one handy pylint inspection that is missing from the built-in PyCharm inspections is misplaced bare raise which is used when a bare raise is used outside of an except block: try: do_so...
Community
PyCharm
Use Pylint from inside PyCharm
0 votes