Include PR #468 and PR #469

CodeboxIDE / codebox

Open source cloud & desktop IDE

https://www.codebox.io

Apache License 2.0

4.11k stars 590 forks source link

Include PR #468 and PR #469 #472

Closed lucamilanesio closed 4 years ago

lucamilanesio commented 9 years ago

When loading the CodeBox IDE over a low network, it may actually takes longer than 5 secs to load the add-ons. As this parameter is NOT configurable at the moment, it is then safer to extend it to at least 1 minute.

Additionally, when instantiating a CodeBox instance on a workspace, the Git identity should be set to the workspace repository Git user/email and not to the Git user that cloned CodeBox.

luckydonald commented 4 years ago

Why is this closed + deleted now?

lucamilanesio commented 4 years ago

Why is this closed + deleted now?

I believe GitHub automatically updates the status of the PR based on the forked branch status.