Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Repo info
Activity
  • Mar 01 08:41
    hinamizawa starred jgralab/funnyqt
  • Jan 05 10:07

    tsdh on v1.1.6

    (compare)

  • Jan 05 10:07

    tsdh on master

    Release version 1.1.6 with upgr… (compare)

  • Oct 11 2018 12:18
    k-grosser starred jgralab/funnyqt
  • May 10 2018 06:16

    tsdh on gh-pages

    Delete CNAME (compare)

  • May 10 2018 05:58

    tsdh on gh-pages

    Set theme jekyll-theme-architect (compare)

  • May 10 2018 05:57

    tsdh on gh-pages

    Create CNAME (compare)

  • Aug 26 2017 06:46

    tsdh on gh-pages

    Delete CNAME (compare)

  • Jul 03 2017 19:47
    szarnyasg starred jgralab/funnyqt
  • May 27 2017 21:46
    allforabit starred jgralab/funnyqt
  • May 27 2017 05:07

    tsdh on master

    Improve unseto? for tmp element… (compare)

  • May 24 2017 21:58

    tsdh on v1.1.4

    (compare)

  • May 24 2017 21:58

    tsdh on master

    Add docs; release 1.1.4 (compare)

  • May 24 2017 21:30

    tsdh on master

    Minchang (compare)

  • May 24 2017 20:44

    tsdh on master

    Some fixes (compare)

  • May 19 2017 19:24

    tsdh on v1.1.3

    (compare)

  • May 19 2017 19:20

    tsdh on master

    Release 1.1.3 (compare)

  • May 19 2017 17:05

    tsdh on v1.1.2

    (compare)

  • May 19 2017 17:05

    tsdh on master

    Release 1.1.2 (compare)

  • May 17 2017 20:50

    tsdh on master

    Some fixes (compare)

Tassilo Horn
@tsdh
Just a test. (code 'is :here).
Tassilo Horn
@tsdh
@Malabarba Oh, you're in here? I'm really just starting with that gitter thing and until now it foremost feels quite buggy. :-)
Artur Malabarba
@Malabarba
Yeah it's a little buggy
but the GH integration is pretty nice
makes a big difference I think
you can also connect via erc, and then you'll get notifications whenever something happens on the repo :)
Tassilo Horn
@tsdh
Is that an ERC plugin or do you mean with any IRC client? I'm using rcirc.
Artur Malabarba
@Malabarba
Any irc client
if it does ssl
Tassilo Horn
@tsdh
Cool, just found it on the help page. I think rcirc does. We'll see, I'm gonna try it out.
And the channel name is #jgralab/funnyqt then?
Tassilo Horn
@tsdh
Hm, I always get "connection broken by remote peer"
Hey! I'm here with rcirc!
The trick is that you have to give the /PASS command really quickly.
Artur Malabarba
@Malabarba
haha
sounds tricky
Tassilo Horn
@tsdh
Nope, after digging the rcirc code I've seen that it's already implemented.
Works really good. The only thing I need to figure out is how to access the history from rcirc. That's the big and only benefit of the web version.
Artur Malabarba
@Malabarba
if you figure that out do let me know
it's the only reason I stopped using erc for gitter
Tassilo Horn
@tsdh
I'll do
Tassilo Horn
@tsdh
@Malabarba: I've seen there's already a ticket for that. gitterHQ/irc-bridge#1
@Malabarba: One could implement that bypassing the gitter irc bridge using the REST API, too, but adding that to each and every irc client which wants it doesn't seem a good idea since it has basically nothing to do with irc.
Artur Malabarba
@Malabarba
Yeah, it's bit of a hassle, but sounds more or less viable
Tassilo Horn
@tsdh
@Malabarba: When issue number 1 isn't resolved within a year, I'll do it. ;-)
Artur Malabarba
@Malabarba
;)
Tassilo Horn
@tsdh
@RolandKluge: Wow, there has never been that much traffic in this channel. :-)
Tassilo Horn
@tsdh
/names