Fixes #12482 : Remove undocumented device from /pushrules

[JeyRathnam]

Signed-off-by: Jeyachandran.rathnam jeyrathnam@proton.me

Pull Request Checklist

• Pull request is based on the develop branch
• Pull request includes a changelog file. The entry should:
  • Be a short description of your change which makes sense to users. "Fixed a bug that prevented receiving messages from other servers." instead of "Moved X method from EventStore to EventWorkerStore.".
  • Use markdown where necessary, mostly for code blocks.
  • End with either a period (.) or an exclamation mark (!).
  • Start with a capital letter.
  • Feel free to credit yourself, by adding a sentence "Contributed by @github_username." or "Contributed by [Your Name]." to the end of the entry.
• Pull request includes a sign off
• Code style is correct
  (run the linters)

[DMRobertson]

FYI if you write Fixes #12482 in the PR description then Github will automatically mark this PR as closing that issue.

[DMRobertson]

Looks good, but I want to double-check no-one is relying on this before we merge.

See #12482 (comment)

[JeyRathnam]

@DMRobertson I am not sure why this issue closed, I dont remember closing it.

[clokep]

@JeyRathnam You should be able to reopen (and maybe merge in develop)!

[clokep]

Replaced by #14727.