Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: intermine/intermine
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: master
Choose a base ref
...
head repository: ecrin-github/intermine
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: master
Choose a head ref
Checking mergeability… Don’t worry, you can still create the pull request.
  • 12 commits
  • 6 files changed
  • 3 contributors

Commits on Apr 16, 2025

  1. Fix empty values being considered in prioritisation when both sources… 

    … are present in the priorities file
    @cudillal
    cudillal committed Apr 16, 2025
    Configuration menu
    Copy the full SHA
    299b077 View commit details
    Browse the repository at this point in the history

  2. Modify build GH action to run only on workflow_dispatch

    @cudillal
    cudillal committed Apr 16, 2025
    Configuration menu
    Copy the full SHA
    fd17068 View commit details
    Browse the repository at this point in the history

  3. Add JAR artifacts generation

    @cudillal
    cudillal committed Apr 16, 2025
    Configuration menu
    Copy the full SHA
    22d4212 View commit details
    Browse the repository at this point in the history

  4. Add local JARs handling script

    @cudillal
    cudillal committed Apr 16, 2025
    Configuration menu
    Copy the full SHA
    1ea3024 View commit details
    Browse the repository at this point in the history

  5. Add context and instructions in README

    @cudillal
    cudillal committed Apr 16, 2025
    Configuration menu
    Copy the full SHA
    03f7748 View commit details
    Browse the repository at this point in the history

Commits on Jul 16, 2025

  1. Fix empty values being considered in prioritisation when both sources… 

    … are present in the priorities file
    @cudillal
    cudillal committed Jul 16, 2025
    Configuration menu
    Copy the full SHA
    b2c0185 View commit details
    Browse the repository at this point in the history

Commits on Jul 18, 2025

  1. Add script to update local JARs (for Docker mainly)

    @cudillal
    cudillal committed Jul 18, 2025
    Configuration menu
    Copy the full SHA
    3069b64 View commit details
    Browse the repository at this point in the history

  2. Fix permissions for JARs update script

    @cudillal
    cudillal committed Jul 18, 2025
    Configuration menu
    Copy the full SHA
    5f53250 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' of https://github.com/ecrin-github/intermine in… 

    …to dev
    @cudillal
    cudillal committed Jul 18, 2025
    Configuration menu
    Copy the full SHA
    2dbc994 View commit details
    Browse the repository at this point in the history

  4. Merge pull request #1 from ecrin-github/dev 

    PR Dev to Master
    @cudillal
    cudillal authored Jul 18, 2025
    Configuration menu
    Copy the full SHA
    c78f93b View commit details
    Browse the repository at this point in the history

Commits on Oct 29, 2025

  1. Attempt to fix index size errors on update-publications source

    @sergiocontrino
    sergiocontrino committed Oct 29, 2025
    Configuration menu
    Copy the full SHA
    9b99467 View commit details
    Browse the repository at this point in the history

  2. Merge pull request #2 from ecrin-github/dev 

    PR Dev to Master 2
    @cudillal
    cudillal authored Oct 29, 2025
    Configuration menu
    Copy the full SHA
    49b7ba7 View commit details
    Browse the repository at this point in the history
Loading