You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This makes it easier to rename this repository and use it under its
new name. For example, with this patch, if you push the repository to
GitHub user 'foo' as repository 'bar', you can do:
west init -m https://github.com/foo/bar my-workspace
And you will get:
- my-workspace/.west/config says manifest.path is 'bar'
- my-workspace/bar exists as a git repository
By contrast, with the current 'self: path:' setting, you will instead
get:
- my-workspace/.west/config says manifest.path is
'example-application'
- my-workspace/example-application exists as a git
repository
Let's let people name this repository whatever they want, and get the
expected results, instead of forcing the name example-application
Signed-off-by: Marti Bolivar <[email protected]>
0 commit comments