Compcert Repo

[bschommer]

Since the official repository of compcert is now also on github it would be nice if your repository would also be a fork of the official repository. This make the exchange of changes easier.

[robbertkrebbers]

Any idea how to do that, without having to delete my repository and merging it somehow with a new fork?

[bschommer]

I think you cannot tell github that a repositoy is a fork of another when it was not created as fork. However you could just create a new one using your local repository by following the steps described here. But I think you need to rename your compcert repo on github before. This would result in a new repository which is marked as a fork of ours.
You could also just add our repository as remote and pull the changes from there to get the same status.