Skip to content
This repository has been archived by the owner. It is now read-only.

Hadrian has been merged into GHC proper #705

Open
alpmestan opened this issue Oct 23, 2018 · 4 comments
Open

Hadrian has been merged into GHC proper #705

alpmestan opened this issue Oct 23, 2018 · 4 comments

Comments

@alpmestan
Copy link
Collaborator

alpmestan commented Oct 23, 2018

Hello everyone,

hadrian has been merged into GHC proper, just today! You can see the commit here: ghc/ghc@9475620

From now on, let's:

We can perhaps keep the active discussions here until they're addressed, and think about moving some important but older & "colder" issues to trac?

@snowleopard
Copy link
Owner

snowleopard commented Oct 23, 2018

That's great!

Yes, let's continue active on-going discussions here, but all others should now go to Trac.

@alpmestan I suggest that from now on we prefix all Hadrian-only commit messages with Hadrian: , so it's easy to differentiate them from others.

@alpmestan
Copy link
Collaborator Author

alpmestan commented Oct 23, 2018

Yes, that would definitely be a good convention. I already see it done for rts and other things, so it'll fit just nicely.

@izgzhen
Copy link
Collaborator

izgzhen commented Oct 23, 2018

Awesome work! (getting a bunch of COMMIT emails from phab, coming to see what happened)

@alpmestan
Copy link
Collaborator Author

alpmestan commented Oct 23, 2018

Yeah, sorry about that, Ben just couldn't find any way to prevent those.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

No branches or pull requests

3 participants