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.

Sign up for GitHub

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

Jump to bottom

Ensure GitHubRepo is always find or create #1081

Open
wants to merge 1 commit into
base: develop
Choose a base branch
from
Open

Ensure GitHubRepo is always find or create #1081

wants to merge 1 commit into from

Conversation

joshsmith
Copy link
Contributor

@joshsmith joshsmith commented Oct 18, 2017 •
edited by begedin
Loading

What's in this PR?

WIP.

References

Progress on #1077

@joshsmith
Copy link
Contributor Author

Uses #1080 as a base.

@begedin begedin force-pushed the 1077-find-or-create-github-comment-issue-and-repo branch from a7f421b to 397c8f8 Compare October 18, 2017 07:25
@begedin begedin mentioned this pull request Oct 18, 2017
Open
@begedin begedin changed the title Find or create GitHub comment issue and repo Find or create GitHubRepo Oct 18, 2017
@begedin begedin changed the title Find or create GitHubRepo Ensure GitHubRepo is always find or create Oct 18, 2017
@begedin begedin force-pushed the 1077-find-or-create-github-comment-issue-and-repo branch from 397c8f8 to 96594fc Compare October 18, 2017 10:43
@joshsmith
Copy link
Contributor Author

This still needs a test to ensure it's working as intended.

@begedin begedin force-pushed the develop branch 18 times, most recently from e075407 to 6d6cc63 Compare February 12, 2018 16:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
in progress
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@joshsmith