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

Use fixed globalGitRepoRevision for integration test #346

Merged
merged 1 commit into from
Jul 6, 2021
Merged

Use fixed globalGitRepoRevision for integration test #346

merged 1 commit into from
Jul 6, 2021

Conversation

simu
Copy link
Member

@simu simu commented Jul 6, 2021 •
edited
Loading

Filed follow-up issue #347

Checklist

  • Keep pull requests small so they can be easily reviewed.
  • Update tests.
  • Categorize the PR by setting a good title and adding one of the labels:
    bug, enhancement, documentation, change, breaking, dependency
    as they show up in the changelog
  • Link this PR to related issues.

@simu
Use fixed globalGitRepoRevision for integration test
8225d95 
TODO: figure out if we can do this better
@simu simu added the bug Something isn't working label Jul 6, 2021
@simu simu mentioned this pull request Jul 6, 2021
Open
@simu simu requested review from ccremer and corvus-ch July 6, 2021 10:56
@simu simu mentioned this pull request Jul 6, 2021
Merged
3 tasks
@simu simu merged commit 03208dc into master Jul 6, 2021
@simu simu deleted the fix/integration-test branch July 6, 2021 12:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@ccremer ccremer ccremer approved these changes

@corvus-ch corvus-ch corvus-ch approved these changes

Assignees
No one assigned
Labels
bug Something isn't working
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@simu @corvus-ch @ccremer