Search results

Can not assign more than one user to an issue

bug

Status: Open.

#17 In open-mpi/ompi-release-bot;

· jsquyres opened on Jul 19, 2016

How do Github Reactions get handled?

reviewed

Status: Open.

#13 In open-mpi/ompi-release-bot;

· jsquyres opened on Mar 11, 2016

The bot doesn't scan code/line comments

enhancement

reviewed

Status: Open.

#12 In open-mpi/ompi-release-bot;

· jsquyres opened on Aug 17, 2015

Make new PR commits remove "reviewed" label and conditionally remove "RM-approved"

enhancement

Status: Open.

#11 In open-mpi/ompi-release-bot;

· jsquyres opened on Feb 9, 2015

Another test issue

bug

enhancement

help-wanted

invalid

Status: Open.

#10 In open-mpi/ompi-release-bot;

· jsquyres opened on Feb 9, 2015

· 

v3.8