Skip to content

Conversation

powerboat9
Copy link

These two commits should

  1. Allow gerris to prepare a partial upstreaming, after hitting a commit it can't upstream
  2. Prevent gerris from breaking on "gccrs: " commits it can't find analogues to in our repo

I wasn't able to test-run this, but it compiled on my end after running a cargo update

@powerboat9
Copy link
Author

@CohenArthur thoughts?

@powerboat9
Copy link
Author

Now depends on #26

@powerboat9
Copy link
Author

This gets us the first 4 commits that haven't been upstreamed yet, although I'd be cautious about merging the fourth as-is

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.

1 participant