Standardize user mention formatting about zeppelin HOT 4 OPEN

I'm assuming ping_user is still in use even though it's deprecated for backwards compatibility and etc. I'd say there are still quite a few servers that use ping_user not knowing it's been deprecated, I'd say the Dragory and the other developers wouldn't want to make a breaking change such as that.

from zeppelin.

I wouldn't doubt that it's still used. However, it can be a bit misleading and confusing if you haven't inspected the source code, that's all I'm saying. I'm seeking standardization. Furthermore, we shouldn't be afraid of removing deprecations. It's not really a "breaking change" either. The most you'll get are a few logs where the user is mentioned. Dragory can post an announcement as well, if required.

from zeppelin.

Currently the main blocker for removing deprecations is the lack of a robust way to programmatically edit and migrate server configs (to remove/rename/etc. the deprecated options from them). There are some solutions I'm looking into; the main obstacle is preserving YAML formatting and comments. The yawn-yaml package looks very promising in that area.

from zeppelin.

Yeah, that's usually a problem with removing deprecations. Maybe you could officially announce it as deprecated along with plans to remove it with a couple months and suggest the alternative solution?

from zeppelin.