Code

[all] Pull Request methodology#779

Code

Open

Roman-Manevich wants to merge 3 commits intomasterherd/herdtools7:masterfrom version-control-contributingherd/herdtools7:version-control-contributingCopy head branch name to clipboard

+33

Commits

Commits on Feb 12, 2024

• Pull Request methodology.

  Show description for c7e689e
  Roman-Manevich

  committed
  c7e689e

  Copy full SHA for c7e689e

• Fix git push command.

  Roman-Manevich

  committed
  d58b2a8

  Copy full SHA for d58b2a8

Commits on Feb 13, 2024

• Addressed the comments by Nikos and Luc.

  Roman-Manevich

  committed
  7d365dd

  Copy full SHA for 7d365dd