Skip to content

Conversation

KOLANICH
Copy link
Contributor

@KOLANICH KOLANICH commented Nov 11, 2019

This PR requires tlwg/libdatrie#12 to be merged first (or maybe create an own fork of that lib, because that fork is inactive).

@KOLANICH
Copy link
Contributor Author

KOLANICH commented Nov 15, 2019

@kmike, @jdufresne, @cclauss

@KOLANICH
Copy link
Contributor Author

@tacaswell
Copy link
Contributor

@KOLANICH This requires a re-base.

@tacaswell
Copy link
Contributor

Thank you, but we are still waiting on the PR (and release?) in libdatrie for this to be mergeable? What commit is the submodule pointing at now?

@KOLANICH
Copy link
Contributor Author

KOLANICH commented Mar 27, 2020

I have sent there a PR, but when a PR is sent, GH puts the commits into the repo (proof), so submodules should work even if that PR is not merged yet.

@tacaswell
Copy link
Contributor

if the PR gets closed without being merged or you change the PR (either by just adding more commits or by force-pushing new commits) what will make sure the commit we are relying on here does not get "garbage collected" by github?

@KOLANICH
Copy link
Contributor Author

If it is your concern, you can fork that repo and fetch the branch from mine. I don't want to tie this project to my fork of that repo because I plan to delete it as soon as everything I need merged.

@KOLANICH KOLANICH force-pushed the fileless branch 6 times, most recently from a15d98c to 3a90c30 Compare January 22, 2021 16:41
@tacaswell
Copy link
Contributor

The upstream PR still appears to not be merged?

@KOLANICH
Copy link
Contributor Author

KOLANICH commented Jan 23, 2021

@tacaswell, it's merged into the upstream.

@KOLANICH KOLANICH force-pushed the fileless branch 3 times, most recently from e7feac4 to c6e359a Compare February 1, 2021 12:52
@KOLANICH
Copy link
Contributor Author

@tacaswell

2 similar comments
@KOLANICH
Copy link
Contributor Author

@tacaswell

@KOLANICH
Copy link
Contributor Author

@tacaswell

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.

2 participants