Skip to content
This repository was archived by the owner on Sep 30, 2024. It is now read-only.

Use new ClonePath peramater from src-cli#40863

Merged
varsanojidan merged 8 commits into
mainfrom
iv/fix-other-clone-url-edgecases
Aug 30, 2022
Merged

Use new ClonePath peramater from src-cli#40863
varsanojidan merged 8 commits into
mainfrom
iv/fix-other-clone-url-edgecases

Conversation

@varsanojidan

@varsanojidan varsanojidan commented Aug 25, 2022

Copy link
Copy Markdown
Contributor

Reopening this in a new PR

Directly related to sourcegraph/src-cli#810.

Test plan

Tested locally using src-cli serving regular git and bare git repos.

@cla-bot cla-bot Bot added the cla-signed label Aug 25, 2022
@sourcegraph-bot

sourcegraph-bot commented Aug 25, 2022

Copy link
Copy Markdown
Contributor

Codenotify: Notifying subscribers in CODENOTIFY files for diff a36a30f...14c20c9.

Notify File(s)
@indradhanush internal/repos/other.go
internal/repos/other_test.go
internal/repos/sources.go
@ryanslade internal/repos/other.go
internal/repos/other_test.go
internal/repos/sources.go
@sashaostrikov internal/repos/other.go
internal/repos/other_test.go
internal/repos/sources.go
@tsenart internal/repos/other.go
internal/repos/other_test.go
internal/repos/sources.go

Comment thread internal/repos/other.go Outdated
@varsanojidan varsanojidan requested review from a team and keegancsmith August 25, 2022 18:50
Comment thread internal/repos/other.go Outdated
Comment thread internal/repos/other.go
@varsanojidan varsanojidan removed the request for review from a team August 29, 2022 21:53
@varsanojidan varsanojidan enabled auto-merge (squash) August 29, 2022 21:53
Comment thread internal/repos/other.go Outdated
Comment thread internal/repos/other.go Outdated
Comment thread internal/repos/other.go Outdated
auto-merge was automatically disabled August 30, 2022 15:22

Merge could not be authorized

@varsanojidan varsanojidan merged commit 5b2ac14 into main Aug 30, 2022
@varsanojidan varsanojidan deleted the iv/fix-other-clone-url-edgecases branch August 30, 2022 16:52
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants