mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-10-06 06:21:16 +07:00
* Introduce a checkbox in the settings which hides the "Force push" button by default. * Let define a list of patterns of branches which are "protected" from the force pushing: the force push button will be disabled if such branches are selected as push targets. Relates to IDEA-85773.