Skip to content

Merge master#30

Merged
gfrn merged 2 commits intoimprovement/remove-leading-zeroesfrom
master
Jan 29, 2026
Merged

Merge master#30
gfrn merged 2 commits intoimprovement/remove-leading-zeroesfrom
master

Conversation

@gfrn
Copy link
Collaborator

@gfrn gfrn commented Jan 29, 2026

JIRA ticket: TICKET-123

Summary:

A brief description of what this pull request aims to achieve

Changes:

  • List changes made in this pull request

To test:

  • List actions that should be taken to test that functionality works as expected

@gfrn gfrn merged commit 6ae6aa9 into improvement/remove-leading-zeroes Jan 29, 2026
10 checks passed
gfrn added a commit that referenced this pull request Jan 29, 2026
* Remove leading zeroes from proposal number

* Merge master (#30)

* Update CHANGELOG

* Increase name length limit (#27)

* Fix tests
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant