Reassigning github issues…

26 views
Skip to first unread message

Viktor Hedefalk

unread,
Jun 15, 2015, 5:06:14 AM6/15/15
to ens...@googlegroups.com
Hey guys!

Some people have reported issues on my Atom poc and I guess it's inevitable that there will be reports on server/gen-ensime related stuff. Is there any nice way of cross-referencing or reassigning or something like that?

For instance:

https://github.com/hedefalk/atom-ensime/issues/16 (server creates empty source folders)

or something I noticed myself:
https://github.com/hedefalk/atom-ensime/issues/13 (typecheck warnings from library)

Do you want me to handle this in any particular way? I mean, if I can't find a "client solution", should I open a issue on ensime-server and cross-reference or should I ask the original reporter to do it?

Cheers,
Viktor

Sam Halliday

unread,
Jun 15, 2015, 5:22:33 AM6/15/15
to ens...@googlegroups.com
I wish there was a way to move between repos, but it's not supported.

If you paste a link into a ticket it should cross reference (both ways).

BTW, if you'd like you are welcome to assign the repo over to the `ensime` organisation and fork it, that might give you some more exposure. We'll give you write access, of course.

We're actually considering moving the issue tracker to a new repo with no code in it, so we can give a lot more people write access to assign tickets and labels, etc. But moving an entire issue tracker is also not supported.

Sam Halliday

unread,
Jun 15, 2015, 5:42:48 AM6/15/15
to ens...@googlegroups.com

Viktor Hedefalk

unread,
Jun 15, 2015, 6:29:22 AM6/15/15
to ens...@googlegroups.com
Cool, thanks!

Yeah, I saw that app when googling too… 

Also, thanks for the informative replies!

Sam Halliday

unread,
Jun 15, 2015, 6:51:44 AM6/15/15
to ens...@googlegroups.com

If you assign the project to me, I can add it to ensime and give you full rights, then you can fork it.

Maybe we need to start using separate trackers and wikis... this tool will allow us to move tickets around.

--
You received this message because you are subscribed to a topic in the Google Groups "ENSIME" group.
To unsubscribe from this topic, visit https://groups.google.com/d/topic/ensime/7EPPJMCwWyc/unsubscribe.
To unsubscribe from this group and all its topics, send an email to ensime+un...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Viktor Hedefalk

unread,
Jun 15, 2015, 7:49:54 AM6/15/15
to ens...@googlegroups.com
I added you as collab, is that enough or do I need to transfer ownership?

Cheers,
Viktor

Sam Halliday

unread,
Jun 15, 2015, 8:09:37 AM6/15/15
to ens...@googlegroups.com

Not enough apparently. Transfer ownership to me and I'll move to ensime. There is a weird rule where you can't transfer to an organisation unless you're an owner, which is weird.

Reply all
Reply to author
Forward
0 new messages