search

tarantool / docbot

Bot to automate some GitHub things
4 stars 1 forks source link

Issue published in the wrong repository #21

Closed NickVolynkin closed 2 years ago

NickVolynkin commented 2 years ago

Commit https://github.com/tarantool/tarantool-ee/commit/9b45c13889cc086fb24f97fb111d4d518378bc3c was merged recently, and the resulting issue was opened in https://github.com/tarantool/doc/issues/2982 (https://github.com/tarantool/doc/issues/2982), not in the enterprise repository. (It was moved afterwards, so now it's at the right place.

Please test and fix repository selection.

artembo commented 2 years ago

Can anyone check the service is working properly? I re-deliver webhook related to this commit and the issue appeared.

The problem was in a failed deployment of the service.

Totktonada commented 2 years ago

If the re-deliver works, I don't see a reason why new delivers will not work.

artembo commented 2 years ago

@Totktonada Thanks!