Skip to content

Cherry pick relevant changes from the fse branch#37

Merged
pmbittner merged 35 commits intomainfrom
fse-merge
Jun 17, 2022
Merged

Cherry pick relevant changes from the fse branch#37
pmbittner merged 35 commits intomainfrom
fse-merge

Conversation

@ibbem
Copy link
Copy Markdown
Collaborator

@ibbem ibbem commented Jun 14, 2022

There are some changes on the fse branch which can be reused for the main branch. These changes mainly include:

  • Documentation
  • Reproduction steps using Docker
  • Minor fixes for the execution of DiffTreeMiner

The fse branch also contains many changes to anonymize the authors which should not be present on main, therefore a real merge is not possible and the relevant changes are cherry picked.

@pmbittner pmbittner self-requested a review June 17, 2022 07:00
Comment thread docs/datasets.md
xterm | terminal emulator | y | y | https://github.com/Maximus5/xterm | https://github.com/Maximus5/xterm.git | 112
Project name | Domain | Source code available ([y]es/[n]o)? | Is it a git repository ([y]es/[n]o)? | Repository URL | Clone URL | Estimated number of commits
---|-------------------------|-----------------------------------------|---------------------------------------|--------------------------------------------------------------|------------------------------------------------------------------|---
xterm | terminal emulator | y | y | https://github.com/Maximus5/xterm | https://github.com/Maximus5/xterm.git | 112
Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This change is unwanted as it removes all datasets from this file. I guess its easiest to just merge and then fix this file afterwards.

@pmbittner pmbittner merged commit 69910de into main Jun 17, 2022
@pmbittner pmbittner deleted the fse-merge branch June 22, 2022 13:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants