github.com/agda/agda

commit signals (8)

• AiAuthor
  Tool: github-copilotCommit: 4ec00f14c9c1692a1f2773fbdac00d8538c435aeAuthored: 8 months ago (Tue, 2 Dec 2025 20:20:06 +0000)Match: Copilot
• AiCoAuthor
  Tool: github-copilotCommit: 4ec00f14c9c1692a1f2773fbdac00d8538c435aeAuthored: 8 months ago (Tue, 2 Dec 2025 20:20:06 +0000)Match: Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
• AiAuthor
  Tool: github-copilotCommit: ba283f225513b1fe3bea3401334e83e2fa57c24cAuthored: 8 months ago (Mon, 1 Dec 2025 19:36:25 +0000)Match: Copilot
• AiCoAuthor
  Tool: github-copilotCommit: ba283f225513b1fe3bea3401334e83e2fa57c24cAuthored: 8 months ago (Mon, 1 Dec 2025 19:36:25 +0000)Match: Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
• AiAuthor
  Tool: github-copilotCommit: d537abd0658d909555f951096056077dd025282aAuthored: 8 months ago (Mon, 1 Dec 2025 18:46:09 +0000)Match: Copilot
• AiCoAuthor
  Tool: github-copilotCommit: d537abd0658d909555f951096056077dd025282aAuthored: 8 months ago (Mon, 1 Dec 2025 18:46:09 +0000)Match: Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
• AiAuthor
  Tool: github-copilotCommit: 9dd2b6ec5404f5d0ad31a4db9cc8e6036c3464bfAuthored: 8 months ago (Mon, 1 Dec 2025 12:31:27 +0000)Match: Copilot
• AiCoAuthor
  Tool: github-copilotCommit: 9dd2b6ec5404f5d0ad31a4db9cc8e6036c3464bfAuthored: 8 months ago (Mon, 1 Dec 2025 12:31:27 +0000)Match: Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>

source signals (0)

none

ignorefile signals (0)

none