Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add an existing repository #854

Closed
aL3891 opened this issue May 25, 2023 · 6 comments
Closed

Add an existing repository #854

aL3891 opened this issue May 25, 2023 · 6 comments
Labels
Area-Widgets Related to in-package widgets Issue-Feature New feature or request Resolution-Duplicate This issue or pull request already exists

Comments

@aL3891
Copy link

aL3891 commented May 25, 2023

Suggested new feature or improvement

The ability to add an already cloned repository seems to be missing

Scenario

The vast majority of developers will already have cloned their code when starting to use dev home, it should be possible to add any existing git repository to the application

Additional details

Dev home in general seems very focused on github specifically, you will get a lot of pushback on this if git isn't supported generally, or even better, other hosts like gitlab and bitbucket have specific plugins as well.
It will not be enough to say that the community can build plugins for those, you should really really consider building these out of the box or you will lose alot of developer mindshare that will you'll have to fight tooth and nail to get back.
Likewise, many developers work across many different repos, using different hosts and often also different accounts on the same provider, you'll need to support this as well

@aL3891 aL3891 added the Issue-Feature New feature or request label May 25, 2023
@microsoft-github-policy-service microsoft-github-policy-service bot added the Needs-Triage New issue that the core contributors need to triage label May 25, 2023
@danieltharris
Copy link

I second the need for extensions to be available for more providers - Azure DevOps is another one

@krschau
Copy link
Collaborator

krschau commented May 25, 2023

@danieltharris An ADO extension is covered in issue #521

@krschau
Copy link
Collaborator

krschau commented May 25, 2023

Duplicate of #780

@krschau krschau marked this as a duplicate of #780 May 25, 2023
@krschau krschau added Resolution-Duplicate This issue or pull request already exists Area-Widgets Related to in-package widgets and removed Needs-Triage New issue that the core contributors need to triage labels May 25, 2023
@HotCakeX
Copy link

HotCakeX commented May 25, 2023

I agree that there needs to be a way to add our locally cloned repository folders to Dev Home, but it doesn't make any sense that Dev Home developers should create 3rd party extensions for other services. that defeats the whole purpose of community and open-source nature.

Can't be an OSS supporter and then expect a single company to create everything for you. That's where community comes into play.

@microsoft-github-policy-service
Copy link
Contributor

This issue has been marked as duplicate and has not had any activity for 1 day. It will be closed for housekeeping purposes.

1 similar comment
@microsoft-github-policy-service
Copy link
Contributor

This issue has been marked as duplicate and has not had any activity for 1 day. It will be closed for housekeeping purposes.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Area-Widgets Related to in-package widgets Issue-Feature New feature or request Resolution-Duplicate This issue or pull request already exists
Projects
None yet
Development

No branches or pull requests

4 participants