GitHub: record whether the origin is a fork

For now this information is not used downstream, but it can be useful
for specific analysis or one-shot scheduling.