Skip to content
Snippets Groups Projects
  1. Feb 12, 2025
  2. Feb 11, 2025
  3. Jan 24, 2025
  4. Jan 22, 2025
  5. Jan 20, 2025
  6. Jan 17, 2025
  7. Jan 10, 2025
  8. Dec 12, 2024
  9. Dec 10, 2024
  10. Dec 09, 2024
    • schroedtert's avatar
      Add "Unresolve" to correction table · 470dc1cb
      schroedtert authored
      When accidentally mark a row in the correction table as resolved, it can
      now also be reverted. When clicking on "Unresolve" the status will be
      changed to "Changed".
      470dc1cb
    • d.kilic's avatar
      Merge branch 'PullRequest_3' into 'master' · 774e7e1e
      d.kilic authored
      Automatically open,close and update Gitlab MRs
      
      See merge request !402
      774e7e1e
    • d.kilic's avatar
      Automatically open,close and update Gitlab MRs · 88de93cc
      d.kilic authored
      When opening a Pull request in the GitHub repo, this will automatically
      open a MR in the jugit repo. This contains the description, and also the
      MR template from the jugit repo.
      
      When this PR is updated, e.g., description changed, status changed, the
      corresponding MR is also updated.
      
      When the PR is closed and not merged, the MR gets also closed. When it
      is reopenend, also the MR gets reopened.
      
      Overall this is a convenience change, for everyone using GitHub to
      contribute.
      88de93cc
  11. Nov 29, 2024
  12. Nov 21, 2024
  13. Nov 20, 2024
  14. Nov 19, 2024
Loading