Branches

• main default protected

  bc053692 · Merge branch 'durva' into 'main' · May 01, 2023
• durva

  77c8e187 · Merge branch 'main' of https://git.cs.uni-paderborn.de/dghurye/test-repo into durva · May 01, 2023
  !2
• mayank

  adc1ae83 · Make merge conflict · May 01, 2023
  !1