Skip to content
Snippets Groups Projects
  1. 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
  2. Nov 29, 2024
  3. Nov 21, 2024
  4. Nov 20, 2024
  5. Nov 19, 2024
  6. Nov 17, 2024
  7. Nov 15, 2024
  8. Nov 13, 2024
  9. Nov 07, 2024
  10. Nov 06, 2024
  11. Oct 31, 2024
  12. Oct 23, 2024
  13. Oct 18, 2024
Loading