mirror of
https://github.com/micropython/micropython.git
synced 2026-01-05 03:30:14 +01:00
This modifies the automated code size comment to edit an existing comment if one already exists instead of always creating a new comment. This reduces noise on pull requests that are repeatedly updated. Signed-off-by: David Lechner <david@pybricks.com>