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.

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

Avoid head and tail #173

Merged
merged 1 commit into from
Dec 25, 2022
Merged

Avoid head and tail #173

merged 1 commit into from
Dec 25, 2022

Conversation

hasufell
Copy link
Member

@Bodigrim
Copy link
Contributor

@hasufell just a gentle reminder about this.

@hasufell
Copy link
Member Author

Sure, it's just I don't click merge button on the repos I maintain myself, because I want to keep GPG signature.

So I can merge when I have access to my GPG key.

@Bodigrim
Copy link
Contributor

@hasufell just another reminder about this.

@hasufell hasufell merged commit 31a707c into haskell:master Dec 25, 2022
@Bodigrim
Copy link
Contributor

Bodigrim commented Jan 8, 2023

Is https://gitlab.haskell.org/ghc/packages/filepath mirror stalled? I cannot find this commit there.

@hasufell
Copy link
Member Author

hasufell commented Jan 8, 2023

@Bodigrim yeah, it's dead

@Bodigrim
Copy link
Contributor

Bodigrim commented Jan 8, 2023

What's the way to update it so that filepath submodule in GHC source tree can be bumped?

@hasufell
Copy link
Member Author

hasufell commented Jan 8, 2023

I configured it as a mirror: https://gitlab.haskell.org/haskell/filepath

@Bodigrim
Copy link
Contributor

Bodigrim commented Jan 8, 2023

https://gitlab.haskell.org/ghc/packages/filepath/-/branches says:

The branch could not be updated automatically because it has diverged from its upstream counterpart.
To discard the local changes and overwrite the branch with the upstream version, delete it here and choose 'Update Now' above.

@hasufell
Copy link
Member Author

hasufell commented Jan 9, 2023

https://gitlab.haskell.org/ghc/packages/filepath/-/branches says:

The branch could not be updated automatically because it has diverged from its upstream counterpart.
To discard the local changes and overwrite the branch with the upstream version, delete it here and choose 'Update Now' above.

That is the GHC repo. I don't have knowledge about what they're doing there.

My filepath mirror works correctly.

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.

None yet

2 participants