Platform_Mirocod

12320 Commits

0 Branches

154 Tags

505 MiB

Tree: c98dd7a3e0

Commit Graph

Author	SHA1	Message	Date
zeripath	697213bdb3	Add primary_key to issue_index (#16813 ) Make the group_id a primary key in issue_index. This already has an unique index and therefore is a good candidate for becoming a primary key. This PR also changes all other uses of this table to add the group_id as the primary key. Fix #16802 Signed-off-by: Andrew Thornton <art27@cantab.net>	3 years ago
Lunny Xiao	0393a57511	Add a new table issue_index to store the max issue index so that issue could be deleted with no duplicated index (#15599 ) * Add a new table issue_index to store the max issue index so that issue could be deleted with no duplicated index * Fix pull index * Add tests for concurrent creating issues * Fix lint * Fix tests * Fix postgres test * Add test for migration v180 * Rename wrong test file name Co-authored-by: 6543 <6543@obermui.de> Co-authored-by: Lauris BH <lauris@nix.lv>	4 years ago

Author

SHA1

Message

Date

zeripath

697213bdb3

Add primary_key to issue_index (#16813 )

Make the group_id a primary key in issue_index. This already has an unique index
and therefore is a good candidate for becoming a primary key.

This PR also changes all other uses of this table to add the group_id as the
primary key.

Fix #16802

Signed-off-by: Andrew Thornton <art27@cantab.net>

3 years ago

Lunny Xiao

0393a57511

Add a new table issue_index to store the max issue index so that issue could be deleted with no duplicated index (#15599 )

* Add a new table issue_index to store the max issue index so that issue could be deleted with no duplicated index

* Fix pull index

* Add tests for concurrent creating issues

* Fix lint

* Fix tests

* Fix postgres test

* Add test for migration v180

* Rename wrong test file name

Co-authored-by: 6543 <6543@obermui.de>
Co-authored-by: Lauris BH <lauris@nix.lv>

4 years ago

2 Commits (c98dd7a3e0a08b1e890d6030dd51aae9dd45aaf9)