On Fri, Aug 10, 2018 at 2:48 PM Evgeni Dimitrov <dimitrove....@gmail.com>
> Eventually something got very wrong, because the pull request appeared as
> request to merge to DSpace:master.
When you're creating a pull request in GitHub, you have to choose the
target branch in the GitHub web interface. Please, close the PR and open a
new one against the correct branch. There's nothing else we could do with
> On Friday, August 10, 2018 at 3:19:07 PM UTC+3, Evgeni Dimitrov wrote:
>> It worked with
>> git checkout upstream/dspace-6_x
Compulsory reading: DSpace Mailing List Etiquette
All messages to this mailing list should adhere to the DuraSpace Code of
You received this message because you are subscribed to the Google Groups
"DSpace Technical Support" group.
To unsubscribe from this group and stop receiving emails from it, send an email
To post to this group, send email to email@example.com.
Visit this group at https://groups.google.com/group/dspace-tech.
For more options, visit https://groups.google.com/d/optout.