Michaël Witrant

Would you merge a pull request with theses changes adapted to tip4commit? I'm holding commits and pull requests because I'd like to change their tip.

I'm a collaborator and I can edit the project settings. I guess it took some time to update. Thank you.

Oh sorry I misunderstood you. Indeed the project doesn't have any collaborator on peer4commit. I'll investigate that.

GitHub doesn't list you as a collaborator. I see the owner of the repository is an organization and you must be a member of it. But when I list the...

GitHub still does not list you as collaborator. I guess we should add code that reads the organization members if the owner is an organization. Adding yourself as collaborator would...

Here's a much smaller input: ``` void a(int b) { __decltype(b + 0) c; } ```

I tried to test that the value is correctly displayed as a percentage but I failed. I could not make the interpolated value rendered in the test, even following the...

I made the changes: 

I moved the voting right description tooltip into a dialog and added the note about the public dataset (https://github.com/tournesol-app/tournesol/issues/1071#issuecomment-1268239920).  

@GresilleSiffle the `DialogBox` component seems pretty specific, it's only able to display a list of paragraphs. It's perfect for the current dialog here, but if we want to change the...