search

goblint / GobWeb

Website for the Static Analyzer Goblint
https://goblint.in.tum.de
3 stars 0 forks source link

Authors #9

Closed ivanazuzic closed 3 years ago

michael-schwarz commented 3 years ago

I'm still in favor of adding people and their pictures. Then one could also add the mascot in the role of Mascot and with the affiliation Data Race Champion

ivanazuzic commented 3 years ago

Both is an ok solution. I'll gladly add this names and pictures list if everyone is in favor. Putting a link to our members on GitHub is maybe a bit more pragmatic solution because we would always need to update the page when someone joins. The mascot will find its place somewhere in any case, don't worry :)

michael-schwarz commented 3 years ago

Putting a link to our members on GitHub is maybe a bit more pragmatic solution because we would always need to update the page when someone joins.

Is this even visible outside the organisation? https://github.com/orgs/goblint/people

vesalvojdani commented 3 years ago

Is this even visible outside the organisation? https://github.com/orgs/goblint/people

It only shows the important people: at the moment you and Simmo. (So maybe each person has to give permission to be shown or something.) Anyway, I will edit this description as we come up with titles for key contributors.

vesalvojdani commented 3 years ago

Let's focus discussion in #5.