No, it is a serious proposal. Only after Nokia decide they are not willing to continue funding them, of course. Neither is needed -- plenty of other projects manage without them. There are plenty of garage alternatives on the Internet and developers can build their packages themselves and upload them directly to the repository.