Originally created by @es183923 on GitHub (Jul 15, 2022).
currently, the workspace names only have a purpose for something like a menu bar, but it would be a lot easier to configure if you can use the workspace name for config.
Originally created by @es183923 on GitHub (Jul 15, 2022).
currently, the workspace names only have a purpose for something like a menu bar, but it would be a lot easier to configure if you can use the workspace name for config.
Blocking a user prevents them from interacting with repositories, such as opening or commenting on pull requests or issues. Learn more about blocking a user.
Originally created by @es183923 on GitHub (Jul 15, 2022).
currently, the workspace names only have a purpose for something like a menu bar, but it would be a lot easier to configure if you can use the workspace name for config.
@LGUG2Z commented on GitHub (Apr 26, 2023):
The majority of commands have
named-variants now. 🎉