Not sure of what it's worth :
https://www.reddit.com/r/vergecurrency/comments/7m47kd/some_one_is_trying_to_buy_cheap_verge_he_was_not/?sort=new&st=jbmu0pbm&sh=8c5a8739

There are also rumours of the project being abandonned. This comes from a reddit post.

Having looked at the repo I'd say there is still activity but most of the code is 2 years old. Apparently they didn't need to fix many bugs in 2 years. It's difficult to says if it's significant or not though. Some apparently useful files have recent updates.
To put that in perspective, here is a comment from reddit :

"
People don’t care about other people’s money so if what they are saying was really true and they knew about it then they wouldn’t be posting it every second on Reddit and telling people to sell - they would have cashed out and disappeared without a word.
"