Naoki Takezoe


Apply border-radius to `table.bordered` in order to close GitHub style.

Show the number of running jobs on the side menu bar as a badge

1

For now, we can't make it because the `repositoryMenus` extension point does not support a badge.

Currently, realtime build log is refreshed entirely at constant intervals. But it's not efficient if build log is large. Essentially, It should get and apply only added lines.

While current gitmesh implementation directs all read requests to the primary node, when a repository has replicas, we can decrease load of the primary node by directing these requests to...

It causes troubles when a process attempts to delete a directory of repository but another process is grabbing files in the directory. In particular, we often saw this trouble in...