Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We鈥檒l occasionally send you account related emails.

Already on GitHub? Sign in to your account

Remove unused dev_tools helper. #8028

merged 1 commit into from Oct 21, 2014


4 participants
Copy link

commented Oct 13, 2014

Dead code 馃拃

And in principle should not exist: making development look different from tests / production is a very last case option, likely do drive devs nuts.


This comment has been minimized.

Copy link

commented Oct 13, 2014

I've prepared a stage. Click to open.

@cirosantilli cirosantilli changed the title [WIP] Remove unused dev_tools helper. Remove unused dev_tools helper. Oct 13, 2014


This comment has been minimized.

Copy link

commented Oct 20, 2014


dzaporozhets added a commit that referenced this pull request Oct 21, 2014

Merge pull request #8028 from cirosantilli/rm-dev-tools
Remove unused dev_tools helper.

@dzaporozhets dzaporozhets merged commit 1657750 into gitlabhq:master Oct 21, 2014

1 check passed

default The build passed on Semaphore.

@cirosantilli cirosantilli deleted the cirosantilli:rm-dev-tools branch Oct 21, 2014

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can鈥檛 perform that action at this time.