Changing "Pulse Users" to "Pulse Credentials" in PulseGuardian

[mc...@mozilla.com]

A PulseGuardian user pointed out[1] that the difference between "Users" and "Pulse Users" is confusing, particularly if one views PulseGuardian as Pulse itself (or as an integral part of a tightly coupled system). Although I'm sure it could be explained more clearly in various places, it was suggested that "Pulse Credentials" might be a clearer name. Anyone object to this, or have a better suggestion?

Mark

[1] https://github.com/mozilla-services/pulseguardian/issues/38

[mc...@mozilla.com]

Swinging around to this again, after some further consideration, we've renamed "Users" to "Pulse Guardian Users", and we will be renaming "Pulse Users" to "RabbitMQ Accounts", which is more descriptive. The first change is already live, and the second will be deployed soon (the UI will change first, and later the internal data structures).

Mark