Commit 572b025

authored

Merge pull request #3649 from dotty-staging/remove-dotty-bot

Move `dotty-bot` project to its own repository

2 parents 20fee6d + d3fe0dc commit 572b025Copy full SHA for 572b025

12 files changed

+0

-1718

lines changed

bot
- src/dotty/tools/bot
- test
  - PRServiceTests.scala
  - resources
build.sbt
project
- Build.scala

12 files changed

+0

-1718

lines changed

`‎bot/src/dotty/tools/bot/Main.scala`

This file was deleted.

Comments

(0)