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.

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

Update core team members [ci skip] #4150

Merged
merged 1 commit into from
Sep 30, 2019
Merged

Conversation

jacobherrington
Copy link
Contributor

What type of PR is this? (check all applicable)

  • Refactor
  • Feature
  • Bug Fix
  • Documentation Update

Description

Adding myself and removing mariocsee

Related Tickets & Documents

Mobile & Desktop Screenshots/Recordings (if there are UI changes)

Added to documentation?

  • docs.dev.to
  • readme
  • no documentation needed

[optional] What gif best describes this PR or how it makes you feel?

Only thing that could make this day better is ice cream.

Adding myself and removing mariocsee
@pr-triage pr-triage bot added the PR: unreviewed bot applied label for PR's with no review label Sep 30, 2019
Copy link
Contributor

@maestromac maestromac left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM!

@pr-triage pr-triage bot added PR: reviewed-approved bot applied label for PR's where reviewer approves changes and removed PR: unreviewed bot applied label for PR's with no review labels Sep 30, 2019
@maestromac maestromac merged commit 57d1601 into forem:master Sep 30, 2019
@pr-triage pr-triage bot added PR: merged bot applied label for PR's that are merged and removed PR: reviewed-approved bot applied label for PR's where reviewer approves changes labels Sep 30, 2019
Aswathprabhu pushed a commit to Aswathprabhu/dev.to that referenced this pull request Sep 30, 2019
Aswathprabhu pushed a commit to Aswathprabhu/dev.to that referenced this pull request Sep 30, 2019
@jacobherrington jacobherrington deleted the patch-4 branch October 24, 2020 01:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
PR: merged bot applied label for PR's that are merged
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants