You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository has been archived by the owner on Apr 19, 2021. It is now read-only.
Currently, the docs are using the same color and style to indicate tips, warnings, etc. For example, see the security note in Sharing and Collaboration and the note in Docker Configuration.
Also, the same color is used to inject code blocks and inline code which also overlaps with references to user interface elements like buttons (Pull Request, Add single comment, etc.). For example, see Pull Requests or Install on Google Cloud Platform.
Alternatively, maybe we could just use different emoji? E.g.
⚠️ Warning: Doing this will delete all your data forever.
💡 Tip: You can also do this other thing that's pretty cool.
📖 Explanation: By doing this, you make Gitpod watch your repository for code changes. Every time a new change is pushed, it will prepare a re-usable workspace snapshot, by building your Dockerfile and init tasks, which will then be used as a base to start new workspaces extremely fast.
The text was updated successfully, but these errors were encountered:
Problem
Currently, the docs are using the same color and style to indicate tips, warnings, etc. For example, see the security note in Sharing and Collaboration and the note in Docker Configuration.
Also, the same color is used to inject code blocks and inline code which also overlaps with references to user interface elements like buttons (Pull Request, Add single comment, etc.). For example, see Pull Requests or Install on Google Cloud Platform.
Proposal
TBD (To be discussed)
@jankeromnes also proposed we could use emojis to help here, see https://github.com/gitpod-io/website/pull/971#discussion_r566825315.
The text was updated successfully, but these errors were encountered: