refactor: remove ActiveDeveloper user flag

[kshitijanurag]

The Active Developer Badge has been removed and is no longer obtainable.

References:

• https://support-dev.discord.com/hc/en-us/articles/10113997751447-Active-Developer-Badge
• Remove ACTIVE_DEVELOPER from user flags discord/discord-api-docs#8249

[pastadudes]

lgtm

[Mewyk]

This does not make sense to me. The PR you mentioned is only about their documentation entry which removes it from their documentation completely, not specific information about the removal from their API. So, why would we update the XML just to add a specific note?

If you are going to use AI to create PRs, please at least review them yourself first.

[kshitijanurag]

This does not make sense to me. The PR you mentioned is only about their documentation entry which removes it from their documentation completely, not specific information about the removal from their API. So, why would we update the XML just to add a specific note?

If you are going to use AI to create PRs, please at least review them yourself first.

Initially, I removed the enum. Although I wasn't sure whether it's better to add a remark in the XML or remove it completely because of the effect removing it could have on downstream users.

[Mewyk]

PRs are not meant for uncertainty or rapid fire hope they hit or adjust based on rejection direction of others. You should have used issues first instead if you were uncertain instead of just guessing based on what your automated AI process found/said.

By default, this PR should have been rejected and closed.

[pastadudes]

on second thought why was it an xml doc comment?
isn't there an ObsoleteAttribute you can use to apply on methods and fields?
me personally i would have used it and make it fail on compile
or alternatively remove it

[github-actions]

The documentation preview is available at https://preview.netcord.dev/308.

[KubaZ2]

Thanks!