RFR: 8253397: Ensure LogTag types are sorted [v2]

Thu Sep 24 08:14:28 UTC 2020

On Thu, 24 Sep 2020 02:30:09 GMT, David Holmes <dholmes at openjdk.org> wrote:

>> Marked as reviewed by tschatzl (Reviewer).
>
> @cl4es  Please do not force push updates to a PR. There is no way for reviewers to see what, if anything, differs
> between the final commit and the commit that they reviewed. If you want to merge with mainline/master then just merge
> and push the new commit to your personal fork. The commits will be flattened as part of the actual integration. Thanks.

@dholmes-ora: fwiw, there is: click on the actual commit link (e.g.
https://github.com/openjdk/jdk/pull/274/commits/19d37e729150dc330efbd494ef4e3a08b3017886 in this case where it says "
cl4es added 2 commits 4 days ago ") and you'll get a diff in github. There is an enhancement/bug open on skara for
better support of diffs for force pushes.

-------------

PR: https://git.openjdk.java.net/jdk/pull/274