docs: update contributors.json

[cindygk]

PR Checklist

Please check if your PR fulfills the following requirements:

• The commit message follows our guidelines: https://github.com/angular/angular/blob/master/CONTRIBUTING.md#commit
• Tests for the changes have been added (for bug fixes / features)
• Docs have been added / updated (for bug fixes / features)

PR Type

What kind of change does this PR introduce?

• Bugfix
• Feature
• Code style update (formatting, local variables)
• Refactoring (no functional changes, no api changes)
• Build related changes
• CI related changes
• Documentation content changes
• angular.io application / infrastructure changes
• Other... Please describe:

What is the current behavior?

Issue Number: N/A

What is the new behavior?

Does this PR introduce a breaking change?

• Yes
• No

Other information

[cindygk]

Updating contributors file to remove Jules, Manu and Stephen (and updating cindygk's twitter name)

[AndrewKushnir]

Hi @cindygk, thanks for updating the contributors.json file. There are some failures in tests that verify that the "lead" field points to an existing entry in that file (which is now a problem since you've removed juleskremer, see here for example). Could you please update the file to remove these lines too?

Could you please also update the commit message to add docs: to the very beginning? So the commit message may look like this:

docs: update contributors.json

Thank you.

[AndrewKushnir]

@cindygk FYI I've added the necessary changes, the PR should be fully ready for review now.
@mgechev could you please have a look when you get a chance?

[angular-automatic-lock-bot]

This issue has been automatically locked due to inactivity.
Please file a new issue if you are encountering a similar or related problem.

Read more about our automatic conversation locking policy.

_{This action has been performed automatically by a bot.}