[Bioc-devel] Changing name of submitted package

2017-06-08 Thread sergi . picart
Hello everyone,  I have submitted a package and been asked to change the package name.   I have renamed the package, the git repository, updated the url and the thread title as well. However, bioc-issue-bot does not seem to react to pushes anymore. If I switch to the old git repo name, it do

Re: [Bioc-devel] Changing name of submitted package

2017-06-08 Thread Martin Morgan
On 06/08/2017 04:04 AM, sergi.pic...@upc.edu wrote: Hello everyone, I have submitted a package and been asked to change the package name. I wonder what package this is? Martin I have renamed the package, the git repository, updated the url and the thread title as well. However, bioc-issue

Re: [Bioc-devel] Changing name of submitted package

2017-06-08 Thread sergi . picart
Hello Martin,  The package was called "diffusion" and has been renamed to "diffuStats" (issue 387) Quoting Martin Morgan : > On 06/08/2017 04:04 AM, sergi.pic...@upc.edu wrote: >> Hello everyone, >> >> I have submitted a package and been asked to change the package name. > > I wonder what pa

Re: [Bioc-devel] Changing name of submitted package

2017-06-08 Thread Martin Morgan
On 06/08/2017 04:55 AM, sergi.pic...@upc.edu wrote: Hello Martin, The package was called "diffusion" and has been renamed to "diffuStats" (issue 387) change of package / repo name requires manual intervention; I did this and triggered a new build. Provided your web hook is ok then subsequent