extension_builder
extension_builder copied to clipboard
[BUGFIX] Fix create repository
The change reflects the native behavior according to the settings inside the extension builder:
If selected, a repository beside .git... files is created, else not.
don't merge, just cherrypick fa6d3ba