Skip to content
This repository has been archived by the owner on Nov 29, 2023. It is now read-only.

Live edit #1023

Open
lars-reimann opened this issue Aug 8, 2022 · 0 comments
Open

Live edit #1023

lars-reimann opened this issue Aug 8, 2022 · 0 comments
Labels
enhancement 💡 New feature or request

Comments

@lars-reimann
Copy link
Member

Is your feature request related to a problem?

When many people work on an API simultaneously they must use external tools to sync their progress.

Desired solution

Show the progress of others live in the editor.

Possible alternatives (optional)

No response

Screenshots (optional)

No response

Additional Context (optional)

No response
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
enhancement 💡 New feature or request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@lars-reimann