Add contributors and last-edit metadata to DB player profile pages by Copilot · Pull Request #595 · benckx/elephantchess

Copilot · 2026-05-13T08:50:54Z

Fetch latest base branch and reproduce current merge-conflict state
Resolve any merge conflicts in this PR branch with minimal changes
Run targeted renderer test coverage for the conflicted area
Run final automated validation checks
Reply on the new PR comment with the resolving commit hash

Agent-Logs-Url: https://github.com/benckx/elephantchess/sessions/0a890f00-58d8-43ce-8a8a-87a83674942e Co-authored-by: benckx <8626080+benckx@users.noreply.github.com>

benckx · 2026-05-25T15:47:00Z

@copilot resolve the merge conflicts in this pull request

Agent-Logs-Url: https://github.com/benckx/elephantchess/sessions/c10fe46e-769e-49b1-b9cd-388de19bfe2c Co-authored-by: benckx <8626080+benckx@users.noreply.github.com>

Copilot · 2026-05-25T15:52:24Z

@copilot resolve the merge conflicts in this pull request

Done — I merged the latest master into this branch, resolved the conflict in DatabasePageRenderer, and pushed the result in commit 4c2beb7.

benckx · 2026-05-26T06:46:52Z

@copilot resolve the merge conflicts in this pull request

Agent-Logs-Url: https://github.com/benckx/elephantchess/sessions/41fc4b02-f403-4774-a667-f2e2aecc4069 Co-authored-by: benckx <8626080+benckx@users.noreply.github.com>

Copilot · 2026-05-26T06:51:41Z

@copilot resolve the merge conflicts in this pull request

Resolved and pushed. I merged the latest master into this branch, fixed the conflicts, and pushed commit caed6a8.

benckx · 2026-06-23T09:16:35Z

@copilot resolve the merge conflicts in this pull request

benckx · 2026-06-23T11:35:13Z

@copilot why is this here? isn't it something used for user profile?

You’re right — this DTO was unrelated to this PR’s scope. I removed the unintended user-profile stats DTO additions in commit 5af64fb.

benckx · 2026-06-23T11:35:34Z

@copilot why is this here? isn't it something used for user profile?

Correct — it was unrelated to this PR. I removed that DTO (and the paired PlayerVsPlayerStatsDto) in commit 5af64fb.

benckx · 2026-06-23T11:36:04Z

            }
        }

-        // Opening explorer is only wired up (markup + scripts + stylesheet) for players that


@copilot why would you remove this?

Agreed — removing that was a mistake during conflict resolution. I restored the removed player-page/openings wiring in commit 5af64fb.

Copilot · 2026-06-23T11:43:52Z

@copilot resolve the merge conflicts in this pull request

I synced this branch with the latest master and verified it is already up to date (no remaining merge conflict to resolve). I also pushed commit 5af64fb to clean up unintended files from the conflict-resolution history.

benckx · 2026-06-23T15:12:17Z

+            } else {
+                buildString {
+                    if (contributorsForDisplay.isNotEmpty()) {
+                        append("""<span><b>Contributors:</b> $contributorsForDisplay</span>""")


@copilot can we use KtorHtmlBuilderTagResolver instead?

Done — switched profile_meta_info to KtorHtmlBuilderTagResolver in commit f562d0b.

benckx · 2026-06-23T15:12:36Z

 <div class="main-container-text">
    <h1>{{page_title}}</h1>
    <hr/>
+    <div id="profile-meta-info">{{profile_meta_info}}</div>


@copilot I'd put it below the description

Done in commit 185239b — I moved the profile metadata block below the description.

benckx · 2026-06-23T15:14:44Z

+            .distinct()
+            .sorted()
+        val contributorsForMeta = contributors.joinToString(", ").escapeHTML()
+        val contributorsForDisplay = contributors.joinToString(", ") { it.escapeHTML() }


@copilot also it needs to have the link to the profile, check ui.js "buildUsernameSpan" something

Done in commit 185239b (with follow-up 058df58) — contributor names now link to user profiles (/@/{username}), matching the buildUsernameSpan behavior.

Copilot · 2026-06-23T15:26:28Z

@copilot resolve the merge conflicts in this pull request

I checked and there are no remaining merge conflicts on this branch; it is already up to date with master (existing merge commit 595e81a).

Initial plan

29c8e4d

Copilot AI assigned Copilot and benckx May 13, 2026

Copilot started work on behalf of benckx May 13, 2026 08:50 View session

Copilot AI linked an issue May 13, 2026 that may be closed by this pull request

add authors/contributors and last edit date on db player profile #510

Open

Copilot AI and others added 2 commits May 13, 2026 08:58

Add contributors and last edit date to DB player profile

749dd3c

Agent-Logs-Url: https://github.com/benckx/elephantchess/sessions/0a890f00-58d8-43ce-8a8a-87a83674942e Co-authored-by: benckx <8626080+benckx@users.noreply.github.com>

Refine contributor sanitization and renderer logic

e1d8541

Agent-Logs-Url: https://github.com/benckx/elephantchess/sessions/0a890f00-58d8-43ce-8a8a-87a83674942e Co-authored-by: benckx <8626080+benckx@users.noreply.github.com>

Copilot AI changed the title ~~[WIP] Add authors, contributors, and last edit date on DB player profile~~ Add contributors and last-edit metadata to DB player profile pages May 13, 2026

Copilot AI requested a review from benckx May 13, 2026 09:07

Copilot finished work on behalf of benckx May 13, 2026 09:07

Copilot started work on behalf of benckx May 25, 2026 15:47 View session

Merge master and resolve DatabasePageRenderer conflict

4c2beb7

Agent-Logs-Url: https://github.com/benckx/elephantchess/sessions/c10fe46e-769e-49b1-b9cd-388de19bfe2c Co-authored-by: benckx <8626080+benckx@users.noreply.github.com>

Copilot finished work on behalf of benckx May 25, 2026 15:52

Copilot started work on behalf of benckx May 26, 2026 06:47 View session

Merge master and resolve latest PR conflicts

caed6a8

Agent-Logs-Url: https://github.com/benckx/elephantchess/sessions/41fc4b02-f403-4774-a667-f2e2aecc4069 Co-authored-by: benckx <8626080+benckx@users.noreply.github.com>

Copilot finished work on behalf of benckx May 26, 2026 06:52

Copilot started work on behalf of benckx June 23, 2026 09:16 View session

Merge master and resolve pull request conflicts

595e81a

Copilot finished work on behalf of benckx June 23, 2026 09:28

benckx reviewed Jun 23, 2026

View reviewed changes

Copilot started work on behalf of benckx June 23, 2026 11:35 View session

benckx reviewed Jun 23, 2026

View reviewed changes

fix: remove unrelated user stats DTOs and preserve openings tags

5af64fb

Copilot finished work on behalf of benckx June 23, 2026 11:44

Copilot AI requested a review from benckx June 23, 2026 11:44

Copilot started work on behalf of benckx June 23, 2026 11:44 View session

Copilot finished work on behalf of benckx June 23, 2026 11:45

benckx reviewed Jun 23, 2026

View reviewed changes

Copilot started work on behalf of benckx June 23, 2026 15:12 View session

benckx reviewed Jun 23, 2026

View reviewed changes

refactor: use KtorHtmlBuilderTagResolver for profile metadata

f562d0b

Copilot finished work on behalf of benckx June 23, 2026 15:19

Copilot AI requested a review from benckx June 23, 2026 15:19

Copilot started work on behalf of benckx June 23, 2026 15:19 View session

Copilot AI added 2 commits June 23, 2026 15:24

fix: link contributor names and move profile meta below description

185239b

fix: align contributor separator condition with contributors list

058df58

Copilot finished work on behalf of benckx June 23, 2026 15:27

Uh oh!

Conversation

Copilot AI commented May 13, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

benckx commented May 25, 2026

Uh oh!

Copilot AI commented May 25, 2026

Uh oh!

benckx commented May 26, 2026

Uh oh!

Copilot AI commented May 26, 2026

Uh oh!

benckx commented Jun 23, 2026

Uh oh!

benckx Jun 23, 2026

Choose a reason for hiding this comment

Uh oh!

Copilot AI Jun 23, 2026

Choose a reason for hiding this comment

Uh oh!

benckx Jun 23, 2026

Choose a reason for hiding this comment

Uh oh!

Copilot AI Jun 23, 2026

Choose a reason for hiding this comment

Uh oh!

benckx Jun 23, 2026

Choose a reason for hiding this comment

Uh oh!

Copilot AI Jun 23, 2026

Choose a reason for hiding this comment

Uh oh!

Copilot AI commented Jun 23, 2026

Uh oh!

benckx Jun 23, 2026

Choose a reason for hiding this comment

Uh oh!

Copilot AI Jun 23, 2026

Choose a reason for hiding this comment

Uh oh!

benckx Jun 23, 2026

Choose a reason for hiding this comment

Uh oh!

Copilot AI Jun 23, 2026

Choose a reason for hiding this comment

Uh oh!

benckx Jun 23, 2026

Choose a reason for hiding this comment

Uh oh!

Copilot AI Jun 23, 2026

Choose a reason for hiding this comment

Uh oh!

Copilot AI commented Jun 23, 2026

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants

Copilot AI commented May 13, 2026 •

edited

Loading