Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[website] Add Armin to the team members (@arminmeh) #42681

Merged
merged 1 commit into from
Jun 18, 2024
Merged

[website] Add Armin to the team members (@arminmeh) #42681

merged 1 commit into from
Jun 18, 2024

Conversation

github-actions[bot]
Copy link

Cherry-pick of #42679

@github-actions github-actions bot added cherry-pick The PR was cherry-picked from the next branch needs cherry-pick The PR should be cherry-picked to master after merge website Pages that are not documentation-related, marketing-focused. labels Jun 18, 2024
@oliviertassinari oliviertassinari merged commit cd728ee into master Jun 18, 2024
0 of 3 checks passed
@oliviertassinari oliviertassinari deleted the cherry-pick-42679 branch June 18, 2024 15:42
This was referenced Jul 19, 2024
Open
Open
Open
Open
Open
@andrebellu andrebellu mentioned this pull request Jul 20, 2024
Open
This was referenced Jul 20, 2024
Open
Open
This was referenced Jul 20, 2024
Open
Open
This was referenced Jul 20, 2024
Open
Open
@mattboddy47 mattboddy47 mentioned this pull request Jul 20, 2024
Open
@pfeifferch pfeifferch mentioned this pull request Jul 20, 2024
Open
@mtrq-capco mtrq-capco mentioned this pull request Jul 20, 2024
Open
@issam-seghir issam-seghir mentioned this pull request Jul 20, 2024
Open
@kazimanzurrashid kazimanzurrashid mentioned this pull request Jul 20, 2024
Closed
This was referenced Jul 20, 2024
Open
Open
This was referenced Jul 20, 2024
Open
Open
This was referenced Jul 20, 2024
Open
Open
@Poseidon-G Poseidon-G mentioned this pull request Aug 2, 2024
Open
This was referenced Aug 2, 2024
Open
Open
@sufi0900 sufi0900 mentioned this pull request Aug 2, 2024
Open
@loka-capco loka-capco mentioned this pull request Aug 2, 2024
Open
This was referenced Aug 2, 2024
Open
Open
@sumn2u sumn2u mentioned this pull request Aug 2, 2024
Open
This was referenced Aug 2, 2024
Open
Open
This was referenced Aug 3, 2024
Open
Open
@Ase020 Ase020 mentioned this pull request Aug 3, 2024
Open
This was referenced Aug 4, 2024
Open
Open
This was referenced Aug 5, 2024
Open
Open
@Ase020 Ase020 mentioned this pull request Aug 5, 2024
Open
@Chanuth-silva10 Chanuth-silva10 mentioned this pull request Aug 6, 2024
Open
@Crushoverride007 Crushoverride007 mentioned this pull request Aug 6, 2024
Open
@DanneelsSophie DanneelsSophie mentioned this pull request Aug 6, 2024
Open
@loka-capco loka-capco mentioned this pull request Aug 6, 2024
Open
@FaroukAmr FaroukAmr mentioned this pull request Aug 6, 2024
Open
@mattboddy47 mattboddy47 mentioned this pull request Aug 6, 2024
Open
@amylank22 amylank22 mentioned this pull request Aug 6, 2024
Open
This was referenced Aug 6, 2024
Open
Open
This was referenced Aug 6, 2024
Open
Open
@Poseidon-G Poseidon-G mentioned this pull request Aug 6, 2024
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@oliviertassinari oliviertassinari oliviertassinari approved these changes

Assignees
No one assigned
Labels
cherry-pick The PR was cherry-picked from the next branch needs cherry-pick The PR should be cherry-picked to master after merge website Pages that are not documentation-related, marketing-focused.
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@oliviertassinari @arminmeh