You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Besides the repositories that belong to the Zühlke account (automatically fetched from the github api), we want to list additional repos that are not "owned" by the Zühlke organisation account.
Foreign repositories
our workflow should also gather information (from the github id) for manually specified repos
The text was updated successfully, but these errors were encountered:
Adding non Zuehlke owned repos is now possible. Such repos are referred to as external repos. A new job (executed as part of the corresponding GitHub action) collects the repos defined in external_contributions.csv. The frontend merges these repos with the Zuehlke owned repos and displays them sorted by stargazer count on the page contributions. External repos are not distinguishable from Zuehlke owned repos (for now).
Besides the repositories that belong to the Zühlke account (automatically fetched from the github api), we want to list additional repos that are not "owned" by the Zühlke organisation account.
Foreign repositories
The text was updated successfully, but these errors were encountered: