Skip to content

docs: Rename tech-design directory to development

Enrique Alcántara requested to merge rename-tech-design-folder-to-development into main

What does this MR do and why?

This is a follow-up MR to !374 (merged) where we reorganized and cleaned up the Web IDE development documentation. In that MR, we created a tech-designs directory to collect deep-dives into specific Web IDE topics like Settings Sync and Package organization. In !374 (comment 2169204321), we determined that tech-designs might convey that the directory contains design decisions which is not the case. This directory contains instructions to achieve goals like updating the icons font or deploy the Web IDE.

As a result, we've decided to rename the directory to development.

MR acceptance checklist

Please evaluate this MR against the MR acceptance checklist. It helps you analyze changes to reduce risks in quality, performance, reliability, security, and maintainability.

Screenshots or screen recordings

Screenshots are required for UI changes, and strongly recommended for all other merge requests.

Before After

How to set up and validate locally

Numbered steps to set up and validate the change are strongly suggested.

Edited by Enrique Alcántara

Merge request reports