Skip to content

an open pr (do not close this please) - #2

Open
migueldiascosta wants to merge 1 commit into
easybuilders:mainfrom
migueldiascosta:branch_for_a_pr
Open

an open pr (do not close this please)#2
migueldiascosta wants to merge 1 commit into
easybuilders:mainfrom
migueldiascosta:branch_for_a_pr

Conversation

@migueldiascosta

@migueldiascosta migueldiascosta commented Nov 21, 2018

Copy link
Copy Markdown
Member

used in the EasyBuild framework tests for --merge-pr

@migueldiascosta migueldiascosta changed the title an open pr an open pr (do not close this please) Nov 21, 2018
@boegel

boegel commented Dec 10, 2018

Copy link
Copy Markdown
Member

this is a test

@boegel

boegel commented Dec 10, 2018

Copy link
Copy Markdown
Member

Just another comment...

@boegel

boegel commented Oct 12, 2019

Copy link
Copy Markdown
Member

@migueldiascosta, this PR is being closed for the following reason(s): closing and reopening to trigger tests.

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.

2 participants