Home
IDEs Support (IntelliJ Platform) | JetBrains
Contact Support
Community
Sign in

Henry

Avatar
  • 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...
    1. Community
    2. IntelliJ IDEA Users
    3. 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...
    1. Community
    2. PyCharm
    3. Use Pylint from inside PyCharm
    • 0 votes
Copyright © 2000– JetBrains s.r.o.