unattended-upgrades result for jena-vm.apache.org: SUCCESS

2023-11-29 Thread root
Unattended upgrade result: All upgrades installed Packages that were upgraded: libnetplan0 netplan.io openjdk-17-jdk openjdk-17-jdk-headless openjdk-17-jre openjdk-17-jre-headless openjdk-8-jre-headless Package installation log: Log started: 2023-11-30 06:22:02 apt-listchanges: Reading

Re: UI improvements Was: process question.

2023-11-29 Thread Bruno Kinoshita
Hi Marco, For things like this an issue in GitHub (I think we have labels for fuseki and/or UI) would work IMO. And I think what you suggest is a good idea! Some time ago we migrated to this JavaScript web application for Fuseki and a slightly new UI. Slightly as we intentionally didn't change

Re: UI improvements Was: process question.

2023-11-29 Thread Marco Neumann
So for example we sometimes work with hundreds of files for uploads via the fuseki UI. While it is great that the users get feedback about the progress of the upload for each file, one has to scroll down to the last item to confirm that the process is actually finished. It would be great to have

Re: UI improvements Was: process question.

2023-11-29 Thread Andy Seaborne
Github issues for feature-scale things. Ideally with associated pull request. General discussions, dev@ Andy On 29/11/2023 09:18, Marco Neumann wrote: Bruno, how do you gather input/ideas for UI improvements? Best, Marco

UI improvements Was: process question.

2023-11-29 Thread Marco Neumann
Bruno, how do you gather input/ideas for UI improvements? Best, Marco On Thu, Nov 23, 2023 at 3:22 PM Bruno Kinoshita wrote: > I think it depends. Sometimes I approve things that look good to me, but > you might still want to request an extra review from Andy or Rob as they > know the code

Re: process question.

2023-11-29 Thread Andy Seaborne
Claude, For merging to main, we are moving towards "rebase and merge" away from "Create a merge commit". Squashing and tidy up is probably better done on the PR before the integration into main. This is for keeping the long term history for main cleaner. It may make sense to use a merge