Skip to content
This repository has been archived by the owner on Dec 13, 2023. It is now read-only.

Update user_filters table to have a unique index, and non-null columns #1172

Merged
merged 8 commits into from Oct 4, 2019
Merged

Update user_filters table to have a unique index, and non-null columns #1172

merged 8 commits into from Oct 4, 2019

Commits on Mar 16, 2017

  1. Change Index on user + filters to Unique 

     * especially relevant since the current increment code is not atomic
    @pik
    pik committed Mar 16, 2017
    Copy the full SHA
    c1cfd6c View commit details
    Browse the repository at this point in the history

  2. Create user_filters_by_user_id_unique index by default

    @pik
    pik committed Mar 16, 2017
    Copy the full SHA
    9564b2b View commit details
    Browse the repository at this point in the history

Commits on Oct 4, 2019

  1. Merge branch 'develop' into pik/unique-filter-index

    @richvdh
    richvdh committed Oct 4, 2019
    Copy the full SHA
    4101714 View commit details
    Browse the repository at this point in the history

  2. No need to update original schema

    @richvdh
    richvdh committed Oct 4, 2019
    Copy the full SHA
    1336115 View commit details
    Browse the repository at this point in the history

  3. lint

    @richvdh
    richvdh committed Oct 4, 2019
    Copy the full SHA
    6f7ce59 View commit details
    Browse the repository at this point in the history

  4. use a temporary table 

    make sure it doesn't get left around
    @richvdh
    richvdh committed Oct 4, 2019
    Copy the full SHA
    a44e4e0 View commit details
    Browse the repository at this point in the history

  5. Let's make the columns non-null while we're here

    @richvdh
    richvdh committed Oct 4, 2019
    Copy the full SHA
    7ca31f1 View commit details
    Browse the repository at this point in the history

  6. newsfile

    @richvdh
    richvdh committed Oct 4, 2019
    Copy the full SHA
    850e0a0 View commit details
    Browse the repository at this point in the history