Skip to content

Pin against our Copilot fork as a submodule #39

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
Merged
merged 1 commit into from
Apr 3, 2023
Merged

Pin against our Copilot fork as a submodule #39

merged 1 commit into from
Apr 3, 2023

Conversation

RyanGlScott
Copy link
Collaborator

We will be using a slightly modified version of Copilot going forward.

@RyanGlScott
Pin against our Copilot fork as a submodule
7687e37 
We will be using a slightly modified version of Copilot going forward.
@RyanGlScott RyanGlScott requested a review from AlexMahrer April 3, 2023 17:41
@RyanGlScott
Copy link
Collaborator Author

@AlexMahrer, I'm pinning against the copilot-verifier branch of copilot-1 in this PR. Can you adjust GaloisInc/copilot-1#13 to use that as the target branch?

@AlexMahrer
Copy link
Collaborator

GaloisInc/copilot-1#13 is now targeting the copilot-verifier branch.

@RyanGlScott RyanGlScott merged commit 703e54b into main Apr 3, 2023
@RyanGlScott RyanGlScott deleted the use-copilot-fork branch April 3, 2023 19:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@AlexMahrer AlexMahrer Awaiting requested review from AlexMahrer

Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@RyanGlScott @AlexMahrer