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

Git plugin modified to support cloning empty repos #922

Merged
merged 1 commit into from Oct 21, 2021

Conversation

ribab
Copy link
Contributor

@ribab ribab commented Jul 28, 2021

Fixes a bug when the Git plugin clones an empty repo

Signed-off-by: Richard Barella richard.t.barella@email.com

Fixes a bug when the Git plugin clones an empty repo

Signed-off-by: Richard Barella <richard.t.barella@email.com>
@ribab ribab requested a review from beardeddog July 28, 2021 15:49
@ribab ribab self-assigned this Jul 28, 2021
@hppritcha
Copy link
Member

@ribab any reason not to merge this?

@ribab
Copy link
Contributor Author

ribab commented Oct 21, 2021

I don't see why not. I will merge it

@ribab
Copy link
Contributor Author

ribab commented Oct 21, 2021

actually it looks like I don't have write access to MTT anymore. @hppritcha can you merge?

@hppritcha hppritcha merged commit 02bdcab into open-mpi:master Oct 21, 2021
@hppritcha
Copy link
Member

@ribab I think my request to get you added back somehow fell off the radar. I'll try again. I don't have admin authority on this repo otherwise I'd do it.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants